1888 search results - page 255 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
128
click to vote
DATE
2010
IEEE
15 years 9 months ago
2010
IEEE
Abstract--Detailed diagnostic data is a prerequisite for debugging problems and understanding runtime performance in distributed wireless embedded systems. Severe bandwidth limitat...
149
click to vote
ESCIENCE
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract. We study the implementation on grid systems of an efficient algorithm for demanding global optimization problems. Specifically, we consider problems arising in the geneti...
150
click to vote
AGENTS
2001
Springer
15 years 9 months ago
2001
Springer
We present and implement an infrastructure for automating the negotiation of business contracts. Underlying our system is a declarative language for both (1) fully-specified, exe...
172
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
This paper presents a methodology to efficiently explore the design space of communication adapters. In most digital signal processing (DSP) applications, the overall performance ...
131
click to vote
TOPLAS
2002
15 years 4 months ago
2002
traction and information hiding K. RUSTAN M. LEINO and GREG NELSON Compaq Systems Research Center er describes an approach for verifying programs in the presence of data abstractio...