7961 search results - page 1500 / 1593 » Input-Output Model Programs |
132
Voted
DAC
2005
ACM
16 years 3 months ago
2005
ACM
We obtain analytically, the energy optimal speed profile of a generic multi-speed device with a discrete set of speeds, to execute a given task within a given time. Current implem...
153
Voted
DAC
2005
ACM
16 years 3 months ago
2005
ACM
The challenge of verifying a modern microprocessor design is an overwhelming one: Increasingly complex micro-architectures combined with heavy time-to-market pressure have forced ...
145
Voted
MICCAI
2006
Springer
16 years 3 months ago
2006
Springer
This paper presents a learning based method for automatic extraction of the major cortical sulci from MRI volumes or extracted surfaces. Instead of using a few pre-defined rules su...
138
Voted
ICSE
2008
IEEE-ACM
16 years 3 months ago
2008
IEEE-ACM
WS-BPEL applications are a kind of service-oriented application. They use XPath extensively to integrate loosely-coupled workflow steps. However, XPath may extract wrong data from...
100
Voted
SIGSOFT
2004
ACM
16 years 3 months ago
2004
ACM
One of the benefits of finite-state verification (FSV) tools, such as model checkers, is that a counterexample is provided when the property cannot be verified. Not all counterexa...