4067 search results - page 292 / 814 » Programs for Applying Symmetries |
250
click to vote
ARITH
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper deals with the design and implementation of low latency software for binary floating-point division with correct rounding to nearest. The approach we present here targe...
176
click to vote
HOTOS
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper, we propose FLUXO, a system that separates an Internet service's logical functionality from the architectural decisions made to support performance, scalability...
195
click to vote
APCSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
Dynamic optimization presents opportunities for finding run-time bottlenecks and deploying optimizations in statically compiled programs. In this paper, we discuss our current impl...
163
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
We describe a gate level design of a FlexRay-like bus interface. An electronic control unit (ECU) is obtained by integrating this interface into the design of the verified VAMP pro...
185
click to vote
BIRTHDAY
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper we tackle the problem of designing and implementing a framework for programming service coordination policies. In particular, we illustrate the design and t...