Sciweavers

825 search results - page 32 / 165
» Internal Iteration Externalized
Sort
View
DAC
2000
ACM
14 years 9 months ago
Formal verification of iterative algorithms in microprocessors
Contemporary microprocessors implement many iterative algorithms. For example, the front-end of a microprocessor repeatedly fetches and decodes instructions while updating interna...
Mark Aagaard, Robert B. Jones, Roope Kaivola, Kath...
APPROX
2009
Springer
142views Algorithms» more  APPROX 2009»
14 years 2 months ago
Truthful Mechanisms via Greedy Iterative Packing
An important research thread in algorithmic game theory studies the design of efficient truthful mechanisms that approximate the optimal social welfare. A fundamental question is ...
Chandra Chekuri, Iftah Gamzu
DOCENG
2008
ACM
13 years 9 months ago
Configurable editing of XML-based variable-data documents
: Variable data documents can be considered as functions of their bindings to values, and this function could be arbitrarily complex to build strongly-customised but high-value doc...
John Lumley, Roger Gimson, Owen Rees
FMOODS
2006
13 years 9 months ago
Type-Safe Runtime Class Upgrades in Creol
Modern applications distributed across networks such as the Internet may need to evolve without compromising application availability. Object systems are well suited for runtime up...
Ingrid Chieh Yu, Einar Broch Johnsen, Olaf Owe
CSI
2007
83views more  CSI 2007»
13 years 8 months ago
A model-driven choreography conceptual framework
A number of languages exist that try to model the external visible behavior of services. However, they constitute incomplete solutions, either because, they do not include proper ...
Sinuhé Arroyo, Alistair Duke, José M...