Search results for "Atomic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Arvind, Rishiyur S. Nikhil	Hands-on Introduction to Bluespec System Verilog (BSV) (Abstract).	MEMOCODE	2008	DBLP DOI BibTeX RDF
12	Yinying Yang, Mihaela Cardei	Sensor Deployment for Composite Event Detection in Mobile WSNs.	WASA	2008	DBLP DOI BibTeX RDF	composite event detection, sensor mobility, wireless sensor networks, reliability, sensor deployment
12	Stefano Tennina, Marco Di Renzo, Fabio Graziosi, Fortunato Santucci	Pearson - based Analysis of Positioning Error Distribution in Wireless Sensor Networks.	DSD	2008	DBLP DOI BibTeX RDF
12	Andrew Gacek, Dale Miller 0001, Gopalan Nadathur	Combining Generic Judgments with Recursive Definitions.	LICS	2008	DBLP DOI BibTeX RDF	generic judgments, reasoning about operational semantics, higher-order abstract syntax, proof search
12	J. R. Juárez-Rodríguez, José Enrique Armendáriz-Iñigo, José Ramón González de Mendívil, Francesc D. Muñoz-Escoí	A Database Replication Protocol Where Multicast Writesets Are Always Committed.	ARES	2008	DBLP DOI BibTeX RDF	performance, Replicated databases, transaction scheduling, isolation levels
12	Yu David Liu, Xiaoqi Lu, Scott F. Smith 0001	Coqa: Concurrent Objects with Quantized Atomicity.	CC	2008	DBLP DOI BibTeX RDF
12	Nicolas Férey, Olivier Delalande, Gilles Grasseau, Marc Baaden	A VR framework for interacting with molecular simulations.	VRST	2008	DBLP DOI BibTeX RDF	VRPN, interactive molecular dynamics, scientific visualisation, haptic feedback, VTK
12	Baba Piprani, Chong Wang 0004, Keqing He	A Metamodel for Enabling a Service Oriented Architecture.	OTM Workshops	2008	DBLP DOI BibTeX RDF	ISO19763-5, Service Oriented Architecture, Services, ORM, Event Modelling
12	Partha Dutta, Rachid Guerraoui, Ron R. Levy	Optimistic Erasure-Coded Distributed Storage.	DISC	2008	DBLP DOI BibTeX RDF
12	Robert Danek, Wojciech M. Golab	Closing the Complexity Gap between FCFS Mutual Exclusion and Mutual Exclusion.	DISC	2008	DBLP DOI BibTeX RDF
12	Hideki Kamiya, Hiroshi Mineno, Norihiro Ishikawa, Tomoyuki Osano, Tadanori Mizuno	Composite Event Detection in Heterogeneous Sensor Networks.	SAINT	2008	DBLP DOI BibTeX RDF	sensor network, event detection, gateway
12	Stefano Tennina, Marco Di Renzo, Fortunato Santucci, Fabio Graziosi	On the Distribution of Positioning Errors in Wireless Sensor Networks: A Simulative Comparison of Optimization Algorithms.	WCNC	2008	DBLP DOI BibTeX RDF
12	Alexander Brodsky 0001, Sylvia Morgan Henshaw, Jon Whittle 0001	CARD: a decision-guidance framework and application for recommending composite alternatives.	RecSys	2008	DBLP DOI BibTeX RDF	decision guidance, decision optimization, recommender systems, ranking, development framework, preference learning
12	Hao Chen 0095, Ronald Cramer, Robbert de Haan, Ignacio Cascudo Pueyo	Strongly Multiplicative Ramp Schemes from High Degree Rational Points on Curves.	EUROCRYPT	2008	DBLP DOI BibTeX RDF
12	Jiang Ma, Hao-peng Chen	A Reliability Evaluation Framework on Composite Web Service.	SOSE	2008	DBLP DOI BibTeX RDF
12	Junling Liu, Jiangxiu Liu, Huanliang Sun	Double Wedgie: Efficient Filtering Algorithm for Streaming Time Series.	FSKD (5)	2008	DBLP DOI BibTeX RDF
12	Christophe Pajault, Jean-François Pradat-Peyre, Pierre Rousseau	Adapting Petri Nets Reductions to Promela Specifications.	FORTE	2008	DBLP DOI BibTeX RDF
12	Orna Kupferman, Yoad Lustig	Multi-valued Logics, Automata, Simulations, and Games.	VMCAI	2008	DBLP DOI BibTeX RDF
12	Yossi Lev, Jan-Willem Maessen	Split hardware transactions: true nesting of transactions using best-effort hardware transactional memory.	PPoPP	2008	DBLP DOI BibTeX RDF	transactional memory, atomicity, nesting
12	Cliff Click	IWannaBit!	MSPC	2008	DBLP DOI BibTeX RDF	lock-free algorithms, locking, software transactional memory, non-blocking algorithms, hardware transactional memory
12	Keren Lasker, Oranit Dror, Maxim Shatsky, Ruth Nussinov, Haim J. Wolfson	EMatch: Discovery of High Resolution Structural Homologues of Protein Domains in Intermediate Resolution Cryo-EM Maps.	IEEE ACM Trans. Comput. Biol. Bioinform.	2007	DBLP DOI BibTeX RDF	intermediate resolution cryo-EM maps, 3D alignment of secondary structures, macromolecular assemblies, cyclic symmetry, Structural bioinformatics
12	Wim H. Hesselink	A criterion for atomicity revisited.	Acta Informatica	2007	DBLP DOI BibTeX RDF
12	Hans Georg Feichtinger, Wenchang Sun	Sufficient conditions for irregular Gabor frames.	Adv. Comput. Math.	2007	DBLP DOI BibTeX RDF	Gabor frames, Weyl-Heisenberg frames, irregular Gabor frames, density
12	Liangcai Shu, Weiyi Meng, Hai He, Clement T. Yu	Querying Capability Modeling and Construction of Deep Web Sources.	WISE	2007	DBLP DOI BibTeX RDF	querying capability modeling, Deep Web, query interface
12	José Ignacio Garzón, Eduardo Huedo, Rubén S. Montero, Ignacio Martín Llorente, Pablo Chacón	Grid Multi-Resolution Docking.	PDP	2007	DBLP DOI BibTeX RDF
12	Chaitanya Swamy	The effectiveness of Stackelberg strategies and tolls for network congestion games.	SODA	2007	DBLP BibTeX RDF
12	Tobias Harks, László A. Végh	Nonadaptive Selfish Routing with Online Demands.	CAAN	2007	DBLP DOI BibTeX RDF
12	Filip Pizlo, Daniel Frampton, Erez Petrank, Bjarne Steensgaard	Stopless: a real-time garbage collector for multiprocessors.	ISMM	2007	DBLP DOI BibTeX RDF	real-time, concurrency, garbage collection, lock-free
12	Rachid Guerraoui, Michel Raynal	A Universal Construction for Concurrent Objects.	ARES	2007	DBLP DOI BibTeX RDF
12	Zhenguo Gao, Sheng Liu, Ming Ji, Jinhua Zhao, Lihua Liang	FTSCP: An Efficient Distributed Fault-Tolerant Service Composition Protocol for MANETs.	HPCC	2007	DBLP DOI BibTeX RDF
12	Liang Chang 0003, Fen Lin, Zhongzhi Shi	A Dynamic Description Logic for Representation and Reasoning About Actions.	KSEM	2007	DBLP DOI BibTeX RDF
12	Paolo Ceravolo, Ernesto Damiani, Alex Gusmini, Marcello Leida	Using Ontologies to Map Concept Relations in a Data Integration System.	OTM Workshops (2)	2007	DBLP DOI BibTeX RDF	Ontology Relations, Ontology, Semantic, Data Integration, Rule Engine, SWRL, Mapping Generation
12	José Luis Risco-Martín, Saurabh Mittal, M. A. López-Peña, Jesús Manuel de la Cruz	A W3C XML schema for DEVS scenarios.	SpringSim (2)	2007	DBLP BibTeX RDF	DEVS (Discrete EVent System Specification), XML (eXtensible Markup Language), meta-model, XML-Schema, meta-language
12	Terran Lane, Martin Ridens, Scott Stevens	Reinforcement Learning in Nonstationary Environment Navigation Tasks.	Canadian AI	2007	DBLP DOI BibTeX RDF
12	Serdar Tasiran, Tayfun Elmas	Rollback Atomicity.	RV	2007	DBLP DOI BibTeX RDF
12	Gadi Taubenfeld	Efficient Transformations of Obstruction-Free Algorithms into Non-blocking Algorithms.	DISC	2007	DBLP DOI BibTeX RDF
12	Lei Ji, Hugh Nymeyer, Ashok Srinivasan, Yanan Yu	Data-Driven Time-Parallelization in the AFM Simulation of Proteins.	IPDPS	2007	DBLP DOI BibTeX RDF
12	Caroline Funk, Carolin Ehm, Claudia Linnhoff-Popien, Christoph Kuhmünch	Support of Stateful Services in Pervasive Environments.	PerCom Workshops	2007	DBLP DOI BibTeX RDF
12	Heine Kolltveit, Svein-Olaf Hvasshovd	The Circular Two-Phase Commit Protocol.	DASFAA	2007	DBLP DOI BibTeX RDF
12	Anis Charfi, Benjamin Schmeling, Mira Mezini	Transactional BPEL Processes with AO4BPEL Aspects.	ECOWS	2007	DBLP DOI BibTeX RDF
12	Du Wan Cheun, Jeong Seop Bae, Won Young Jeon, Hao Yuan, Soo Dong Kim	A Practical Framework of Dynamic Monitors in Service-Oriented Computing.	ICEBE	2007	DBLP DOI BibTeX RDF
12	Liang Liu 0010, Hui Lei 0001, Dongjun Lan, Raymond E. Rose, Jon S. Seymour, Murthy V. Devarakonda	Service Obligations Management in IT Outsourcing.	ICEBE	2007	DBLP DOI BibTeX RDF
12	Oliver Amft, Clemens Lombriser, Thomas Stiefmeier, Gerhard Tröster	Recognition of User Activity Sequences Using Distributed Event Detection.	EuroSSC	2007	DBLP DOI BibTeX RDF	distributed detectors, wireless sensor networks, Event detection, activity recognition, smart objects, inertial sensors, activity sensing
12	Ali Sabbir, Kaliappa Ravindran, Kevin A. Kwiat	Secure Distributed Agreement Protocols for Information Assurance Applications.	COMSWARE	2007	DBLP DOI BibTeX RDF
12	Jeffrey Fischer, Rupak Majumdar	Ensuring consistency in long running transactions.	ASE	2007	DBLP DOI BibTeX RDF	flow composition, set consistency, semantics, business process, transactions, compensation
12	Achour Mostéfaoui, Michel Raynal, Corentin Travers	From Renaming to Set Agreement.	SIROCCO	2007	DBLP DOI BibTeX RDF
12	Vijay A. Saraswat, Radha Jagadeesan, Maged M. Michael, Christoph von Praun	A theory of memory models.	PPoPP	2007	DBLP DOI BibTeX RDF	weak model, memory model, sequential consistency
12	Brian D. Carlstrom, Austen McDonald, Michael Carbin, Christos Kozyrakis, Kunle Olukotun	Transactional collection classes.	PPoPP	2007	DBLP DOI BibTeX RDF	collection classes, Java, transactional memory, multiprocessor architecture
12	Shivali Agarwal, Rajkishore Barik, Dan Bonachea, Vivek Sarkar, R. K. Shyamasundar, Katherine A. Yelick	Deadlock-free scheduling of X10 computations with bounded resources.	SPAA	2007	DBLP DOI BibTeX RDF	deadlock-free scheduling, X10, active messages
12	Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney	Retrenchment and the Atomicity Pattern.	SEFM	2007	DBLP DOI BibTeX RDF
12	João Leitão 0001, José Pereira 0001, Luís E. T. Rodrigues	Epidemic Broadcast Trees.	SRDS	2007	DBLP DOI BibTeX RDF
12	Attila Gyulassy, Vijay Natarajan, Valerio Pascucci, Peer-Timo Bremer, Bernd Hamann	A Topological Approach to Simplification of Three-Dimensional Scalar Functions.	IEEE Trans. Vis. Comput. Graph.	2006	DBLP DOI BibTeX RDF	computational geometry, multiresolution, feature detection, simplification, computational topology, Morse theory, volumetric data, Morse-Smale complexes
12	Mark Sh. Levin, Mark Last	Design of test inputs and their sequences in multi-function system testing.	Appl. Intell.	2006	DBLP DOI BibTeX RDF	Test input, Test inputs sequences, Multi-function testing, Design, Combinatorial optimization, Decision making, Black-box testing, System approach
12	Étienne Payet, Frédéric Mesnard	Nontermination inference of logic programs.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	nontermination analysis, optimal termination condition, Logic programming, static analysis
12	Samer A. Abdallah, Mark D. Plumbley	Unsupervised analysis of polyphonic music by sparse coding.	IEEE Trans. Neural Networks	2006	DBLP DOI BibTeX RDF
12	Yinian Mao, Min Wu 0001	A Joint Signal Processing and Cryptographic Approach to Multimedia Encryption.	IEEE Trans. Image Process.	2006	DBLP DOI BibTeX RDF
12	Sören Auer, Heinrich Herre	A Versioning and Evolution Framework for RDF Knowledge Bases.	Ershov Memorial Conference	2006	DBLP DOI BibTeX RDF
12	An Liu 0002, Liusheng Huang, Qing Li 0001, Mingjun Xiao	Fault-Tolerant Orchestration of Transactional Web Services.	WISE	2006	DBLP DOI BibTeX RDF
12	Jan Schaffner, Harald Meyer, Cafer Tosun	A Semi-automated Orchestration Tool for Service-Based Business Processes.	ICSOC Workshops	2006	DBLP DOI BibTeX RDF
12	Carmen B. Navarrete, Susana Holgado, Eloy Anguiano	Epitaxial Surface Growth with Local Interaction, Parallel and Non-parallel Simulations.	PARA	2006	DBLP DOI BibTeX RDF
12	Mandana Vaziri, Frank Tip, Julian Dolby	Associating synchronization constraints with data in an object-oriented language.	POPL	2006	DBLP DOI BibTeX RDF	programming model, serializability, data races, concurrent object-oriented programming
12	Sabah S. Al-Fedaghi	Security Model for Informational Privacy.	WISI	2006	DBLP DOI BibTeX RDF
12	Jürg Gutknecht	The Dining Philosophers Problem Revisited.	JMLC	2006	DBLP DOI BibTeX RDF
12	Carmen B. Navarrete, Susana Holgado, Eloy Anguiano	MPI and Non-MPI Simulations for Epitaxial Surface Growth.	PARELEC	2006	DBLP DOI BibTeX RDF
12	Josep Carmona 0001, Jordi Cortadella, Yousuke Takada, Ferdinand Peper	From molecular interactions to gates: a systematic approach.	ICCAD	2006	DBLP DOI BibTeX RDF	nanocascades, formal methods, nanocomputing
12	Guodong Zhou, Min Zhang 0005, Guohong Fu	Building a Collocation Net.	ICCPOL	2006	DBLP DOI BibTeX RDF
12	Dmitry Nerukh, George Karvounis, Robert C. Glen	Dynamic Complexity of Chaotic Transitions in High-Dimensional Classical Dynamics: Leu-Enkephalin Folding.	CompLife	2006	DBLP DOI BibTeX RDF	enkephalin, dynamic complexity, folding, computational mechanics
12	Ranjit Jhala, Kenneth L. McMillan	A Practical and Complete Approach to Predicate Refinement.	TACAS	2006	DBLP DOI BibTeX RDF
12	Carlo Montangero, Laura Semini	A Logical View of Choreography.	COORDINATION	2006	DBLP DOI BibTeX RDF
12	Rubén de Juan-Marín, Luis Irún-Briz, Francesc D. Muñoz-Escoí	Recovery Strategies for Linear Replication.	ISPA	2006	DBLP DOI BibTeX RDF
12	John Burge, Terran Lane	Improving Bayesian Network Structure Search with Random Variable Aggregation Hierarchies.	ECML	2006	DBLP DOI BibTeX RDF	Bayesian network structure search hierarchy fMRI
12	Jeffery I. Zucker	Primitive Recursive Selection Functions over Abstract Algebras.	CiE	2006	DBLP DOI BibTeX RDF
12	Abhijit S. Ogale, Alap Karapurkar, Yiannis Aloimonos	View-Invariant Modeling and Recognition of Human Actions Using Grammars.	WDV	2006	DBLP DOI BibTeX RDF
12	Susumu Yamada, Toshiyuki Imamura, Takuma Kano, Masahiko Machida	Gordon Bell finalists I - High-performance computing for exact numerical approaches to quantum many-body problems on the earth simulator.	SC	2006	DBLP DOI BibTeX RDF
12	Yin Tang	Partially Ordered Template-Based Matching Algorithm for Financial Time Series.	IEA/AIE	2006	DBLP DOI BibTeX RDF	pattern recognition, time series, lattice, case-based reasoning, partially order
12	Zongying Song, Chunhong Pan, Qing Yang 0002	A Bayesian Approach for Building Detection in Densely Build-Up High Resolution Satellite Image.	ICIAR (2)	2006	DBLP DOI BibTeX RDF
12	Xuesong Tan, Shuo-Yen Robert Li	Mixed Preservation of Conditionally Nonblocking Switches under 2-stage Interconnection.	PDCAT	2006	DBLP DOI BibTeX RDF
12	Brahim Ayari, Abdelmajid Khelil, Neeraj Suri	FT-PPTC: An Efficient and Fault-Tolerant Commit Protocol for Mobile Environments.	SRDS	2006	DBLP DOI BibTeX RDF
12	Radu Muresan, Catherine H. Gebotys	Instantaneous current modeling in a complex VLIW processor core.	ACM Trans. Embed. Comput. Syst.	2005	DBLP DOI BibTeX RDF	Instruction-level current model, current and power measurement in a processor, instantaneous current model, power and energy model
12	André DeHon	Nanowire-based programmable architectures.	ACM J. Emerg. Technol. Comput. Syst.	2005	DBLP DOI BibTeX RDF	Manhattan mesh, stochastic construction, sublithographic architecture, programmable logic arrays, Defect tolerance, nanowires, programmable interconnect
12	Elisa Ficarra, Luca Benini, Enrico Macii, Giampaolo Zuccheri	Automated DNA fragments recognition and sizing through AFM image processing.	IEEE Trans. Inf. Technol. Biomed.	2005	DBLP DOI BibTeX RDF
12	Nirav Dave, Man Cheuk Ng, Arvind	Automatic synthesis of cache-coherence protocol processors using Bluespec.	MEMOCODE	2005	DBLP DOI BibTeX RDF
12	Rajeev Thakur, Robert B. Ross, Robert Latham	Implementing Byte-Range Locks Using MPI One-Sided Communication.	PVM/MPI	2005	DBLP DOI BibTeX RDF
12	Joos-Hendrik Böse, Stefan Böttcher, Le Gruenwald, Sebastian Obermeier 0001, Heinz Schweppe, Thorsten Steenweg	An Integrated Commit Protocol for Mobile Network Databases.	IDEAS	2005	DBLP DOI BibTeX RDF
12	Yanhui Li, Jianjiang Lu, Baowen Xu, Dazhou Kang, Jixiang Jiang	A Fuzzy Extension of Description Logic ALCH.	MICAI	2005	DBLP DOI BibTeX RDF
12	Dazhou Kang, Jianjiang Lu, Baowen Xu, Yanhui Li, Yanxiang He	Two Reasoning Methods for Extended Fuzzy ALCH.	OTM Conferences (2)	2005	DBLP DOI BibTeX RDF
12	Jianping Fan 0001, Hangzai Luo, Mohand-Said Hacid	Mining images on semantics via statistical learning.	KDD	2005	DBLP DOI BibTeX RDF	hierarchical mixture model, image classification, adaptive EM algorithm
12	Anand Ganti, Thomas Tarman, Jason Wertz	Supercomputing interconnects.	WSC	2005	DBLP BibTeX RDF
12	Yanhui Li, Baowen Xu, Jianjiang Lu, Dazhou Kang, Peng Wang 0004	A Family of Extended Fuzzy Description Logics.	COMPSAC (1)	2005	DBLP DOI BibTeX RDF
12	Piotr Zielinski	Optimistic Generic Broadcast.	DISC	2005	DBLP DOI BibTeX RDF
12	Christoph Koch 0001	On the complexity of nonrecursive XQuery and functional query languages on complex values.	PODS	2005	DBLP DOI BibTeX RDF
12	Min Xu, Rastislav Bodík, Mark D. Hill	A serializability violation detector for shared-memory server programs.	PLDI	2005	DBLP DOI BibTeX RDF	multithreading, serializability, race conditions
12	Ming-Che Lee, Ding Yen Ye, Tzone I. Wang	Java Learning Object Ontology.	ICALT	2005	DBLP DOI BibTeX RDF
12	Yanhui Li, Baowen Xu, Jianjiang Lu, Dazhou Kang, Peng Wang 0004	Extended Fuzzy Description Logic ALCN.	KES (4)	2005	DBLP DOI BibTeX RDF
12	Bing Liu 0005, Huaping Chen 0001	Web Service Composition and Analysis: A Petri-net Based Approach.	SKG	2005	DBLP DOI BibTeX RDF
12	Cristian Tapus, Jason Hickey	Distributed synchronization with shared semaphore sets.	CCGRID	2005	DBLP DOI BibTeX RDF
12	Fabíola Gonçalves Pereira Greve	Agreement Protocols in Environments with Temporal Uncertainties.	LADC	2005	DBLP DOI BibTeX RDF
12	Thi V. Duong, Hung Hai Bui, Dinh Q. Phung, Svetha Venkatesh	Activity Recognition and Abnormality Detection with the Switching Hidden Semi-Markov Model.	CVPR (1)	2005	DBLP DOI BibTeX RDF
12	Alexey V. Anikeenko, Marina L. Gavrilova, Nikolai N. Medvedev	A Novel Delaunay Simplex Technique for Detection of Crystalline Nuclei in Dense Packings of Spheres.	ICCSA (1)	2005	DBLP DOI BibTeX RDF
12	Vijay A. Saraswat, Radha Jagadeesan	Concurrent Clustered Programming.	CONCUR	2005	DBLP DOI BibTeX RDF