7452 search results - page 1139 / 1491 » A Semantics for Multiprocessor Systems |
215
click to vote
SAC
2004
ACM
16 years 6 days ago
2004
ACM
Healthcare information systems play an important role in improving healthcare quality. As providing healthcare increasingly changes from isolated treatment episodes towards a cont...
197
click to vote
ASPLOS
2006
ACM
16 years 23 days ago
2006
ACM
Virtualization is increasingly being used to address server management and administration issues like flexible resource allocation, service isolation and workload migration. In a...
192
click to vote
PLDI
2005
ACM
16 years 10 days ago
2005
ACM
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...
172
click to vote
SPIN
2005
Springer
16 years 8 days ago
2005
Springer
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...
180
click to vote
ICIP
2007
IEEE
16 years 8 months ago
2007
IEEE
The segmentation and recognition modules are usually implemented sequentially in most traditional automatic license recognition (LPR) systems. In this work, we integrate segmentat...