9162 search results - page 1415 / 1833 » System and User Data Complexity |
162
click to vote
TASE
2009
IEEE
16 years 29 days ago
2009
IEEE
—Formal verification of low-level programs often requires explicit reasoning and specification of runtime stacks. Treating stacks naively as parts of ordinary heaps can lead to...
187
click to vote
ICRA
2008
IEEE
16 years 20 days ago
2008
IEEE
— In order to perform coronary artery bypass graft surgery, a stationary heart is necessary. A human cannot achieve manual tracking of the complex heartbeat motion. Robotics tech...
140
click to vote
CIE
2007
Springer
16 years 12 days ago
2007
Springer
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...
165
click to vote
ICWE
2007
Springer
16 years 11 days ago
2007
Springer
The objective of this paper is to describe the use of a probabilistic approach to Web effort estimation by means of a Bayesian Network. A Bayesian Network is a model that embodies ...
183
click to vote
CLUSTER
2006
IEEE
16 years 9 days ago
2006
IEEE
Heterogeneous networks of computers have rapidly become a very promising commodity computing solution, expected to play a major role in the design of high performance computing sy...