Sciweavers

598 search results - page 98 / 120
» Independence Semantics for BKBs
Sort
View
ICCAD
1998
IEEE
95views Hardware» more  ICCAD 1998»
14 years 22 days ago
Control generation for embedded systems based on composition of modal processes
In traditional distributed embedded system designs, control information is often replicated across several processes and kept coherent by application-specific mechanisms. Conseque...
Pai H. Chou, Ken Hines, Kurt Partridge, Gaetano Bo...
ICPP
1998
IEEE
14 years 22 days ago
Concurrent SSA Form in the Presence of Mutual Exclusion
Most current compiler analysis techniques are unable to cope with the semantics introduced by explicit parallel and synchronization constructs in parallel programs. In this paper ...
Diego Novillo, Ronald C. Unrau, Jonathan Schaeffer
ADL
1998
Springer
184views Digital Library» more  ADL 1998»
14 years 22 days ago
Logical Information Modeling of Web-Accessible Heterogeneous Digital Assets
This paper introduces the MREF framework for representing and correlating information at a higher semantic level than is possible with Web-based information systems today. The rol...
Kshitij Shah, Amit P. Sheth
IDMS
1998
Springer
100views Multimedia» more  IDMS 1998»
14 years 21 days ago
Network-Conscious Compressed Images over Wireless Networks
We apply the concept of network-consciousness to image compression, an approach that does not simply optimize compression, but which optimizes overall performance when compressed i...
Sami Iren, Paul D. Amer, Phillip T. Conrad
VLDB
1990
ACM
126views Database» more  VLDB 1990»
14 years 15 days ago
Consistency of Versions in Object-Oriented Databases
This paper presents an approach to maintaining consistency of object versions in multiversion database systems. In this approach a multiversion database is considered to be a set ...
Wojciech Cellary, Geneviève Jomier