5128 search results - page 318 / 1026 » When Abstraction Fails |
219
click to vote
INFOCOM
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract--This paper analyzes the stationary behavior of the TCP congestion window performing ideal congestion avoidance when the packet loss probability is not constant, but varie...
203
click to vote
IFL
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Most array operations in Sac are specified in terms of so-called withloops, a Sac-specific form of array comprehension. Due to the map-like semantics of with-loops its ...
196
click to vote
CODES
1997
IEEE
15 years 11 months ago
1997
IEEE
The Pia hardware-software co-simulator provides substantial speedups over traditional co-simulation methods by permitting dynamic changes in the level of detail when simulating co...
163
click to vote
WADT
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Hidden algebra is a behavioural algebraic specification formalism for objects. It captures their constructional aspect, concerned with the initialisation and evolution of...
193
Voted
ASPDAC
2007
ACM
15 years 11 months ago
2007
ACM
Abstract-- We present the short-circuit code transformation technique, intended for embedded compilers. The transformation technique optimizes conditional blocks in high-level prog...