1833 search results - page 169 / 367 » Mechanized Verification with Sharing |
160
click to vote
PLILP
1993
Springer
15 years 10 months ago
1993
Springer
This paper shows a multisequential model to exploit OR parallelism on distributed memory systems. It presents an implementation of the incremental copy mechanism oriented to distr...
160
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
We present our system-level co-simulation environment for mixed domain microsystems. The environment provides synchronization and cosimulation between the Chatoyant MOEMS (MicroEl...
150
click to vote
VLDB
1987
ACM
15 years 10 months ago
1987
ACM
The design of the POSTGRES data model is described. The data model is a relational model that has been extended with abstract data types including user-defined operators and proce...
155
click to vote
ECIR
2008
Springer
15 years 8 months ago
2008
Springer
Business users in an enterprise need to keep track of relevant information available on the Web for strategic decisions like mergers and acquisitions. Traditionally this is done by...
166
click to vote
IJCAI
2003
15 years 7 months ago
2003
This article describes preliminary work on a research environment called Virtual Synergy to represent a shared virtual map of an area for multiple autonomous robots by modifying t...