1884 search results - page 305 / 377 » Abstraction from Counters: An Application on Real-Time Syste... |
WSC
2000
13 years 10 months ago
2000
This paper describes an object-orientated simulation approach towards an integrated planning of production systems. The main obstacle for an integrated use of simulation over diff...
TASE
2010
IEEE
13 years 3 months ago
2010
IEEE
Abstract--We present a robotic manipulation system for automated selection and transfer of individual living cells to analysis locations. We begin with a commonly used cell transfe...
ECOOPW
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. The unrelenting pace of change that confronts contemporary software developers compels them to make their applications more configurable, flexible, and adaptable. A way t...
ICAI
2008
13 years 10 months ago
2008
coarse procedures or very abstract frames from the point of view of algorithm, because some crucial issues like the representation, evolution, storage, and learning process of conc...
PLDI
2012
ACM
11 years 11 months ago
2012
ACM
Linearizability is a key design methodology for reasoning about tations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusi...