2488 search results - page 216 / 498 » An improvement in formal verification |
115
click to vote
CAISE
1995
Springer
15 years 4 months ago
1995
Springer
, methods, techniques and tools. High level languages, structured programming, abstract data types, formal methods, non-procedural programming, object orientation, CASE, support en...
110
click to vote
EUROSYS
2007
ACM
15 years 10 months ago
2007
ACM
In most modern operating systems, a process is a -protected abstraction for isolating code and data. This protection, however, is selective. Many common mechanisms—dynamic code ...
115
click to vote
ICB
2007
Springer
15 years 5 months ago
2007
Springer
Characteristics of surveillance video generally include low resolution and poor quality due to environmental, storage and processing limitations. It is extremely difficult for comp...
112
click to vote
HUC
2010
Springer
15 years 2 months ago
2010
Springer
Medication compliance is a critical component in the success of any medical treatment. However, only 50% of patients correctly adhere to their prescription regimens. Mobile and ub...
106
click to vote
HPCA
2005
IEEE
16 years 1 months ago
2005
IEEE
Improvements in semiconductor technology now enable Chip Multiprocessors (CMPs). As many future computer systems will use one or more CMPs and support shared memory, such systems ...