3305 search results - page 211 / 661 » Can we Rely on SQL |
DSD
2007
IEEE
14 years 5 months ago
2007
IEEE
During synthesis of circuits for Boolean functions area, delay and testability are optimization goals that often contradict each other. Multi-level circuits are often quite small ...
ICC
2007
IEEE
14 years 5 months ago
2007
IEEE
— The localization of a mobile device is of essential need in order to provide location based services to the users, e.g. in an emergency situation. Several mechanisms have been ...
IPCCC
2007
IEEE
14 years 5 months ago
2007
IEEE
This paper proposes an efficient chaos-reducing information dissemination approach for spatiotemporal traffic information related to first responders and planned evacuation scenar...
IPPS
2007
IEEE
14 years 5 months ago
2007
IEEE
The polyhedral model is extensively used for analyses and transformations of regular loop programs, one of the most important being automatic parallelization. The model, however, ...
QEST
2007
IEEE
14 years 5 months ago
2007
IEEE
The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations b...