4385 search results - page 113 / 877 » Abstraction for Concurrent Objects |
110
click to vote
ASPDAC
1999
ACM
15 years 3 months ago
1999
ACM
: This paper presents a genetic algorithm based approach for algebraic optimization of behavioral system specifications. We introduce a chromosomal representation of data-flow gr...
86
Voted
PVLDB
2008
14 years 10 months ago
2008
Progress in science and engineering relies on the ability to measure, reliably and in detail, pertinent properties of artifacts under design. Progress in the area of database-inde...
TOPLAS
2002
14 years 10 months ago
2002
traction and information hiding K. RUSTAN M. LEINO and GREG NELSON Compaq Systems Research Center er describes an approach for verifying programs in the presence of data abstractio...
STANDARDVIEW
1998
14 years 10 months ago
1998
An Object Adapter is an integral part of the Common Object Request Broker Architecture (CORBA). An Object Adapter assists an Object Request Broker (ORB) in delivering client reque...
ICSE
2009
IEEE-ACM
15 years 12 months ago
2009
IEEE-ACM
ng Implementations from Abstraction Functions Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph P. Near, Aleksandar Milicevic and Daniel Jackson Computer Science and Artificial In...