4341 search results - page 700 / 869 » Quantitative Model checking |
155
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
The relentless scaling of CMOS technology has provided a steady increase in processor performance for the past three decades. However, increased power densities (hence temperature...
170
click to vote
CASES
2001
ACM
15 years 10 months ago
2001
ACM
It is widely acknowledged that even as VLSI technology advances, there is a looming crisis that is an important obstacle to the widespread deployment of mobile embedded devices, n...
178
click to vote
MA
2000
Springer
15 years 10 months ago
2000
Springer
In a de-regulated market the distribution utilities will compete with added value for the customer in addition to the delivery of energy. We describe a system consisting of a colle...
185
click to vote
MICCAI
2000
Springer
15 years 10 months ago
2000
Springer
The quantitative estimation of regional cardiac deformation from 3D image sequences has important clinical implications for the assessment of myocardial viability. The validation o...
196
click to vote
SBIA
2000
Springer
15 years 10 months ago
2000
Springer
Agent technology provides many services to users. The tasks in which agents are involved include information filtering, information retrieval, user's tasks automation, browsin...