1626 search results - page 176 / 326 » Subtyping with Power Types |
124
click to vote
ICALP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract We present an analog and machine-independent algebraic characterization of elementarily computable functions over the real numbers in the sense of recursive analysis: we p...
120
click to vote
SCOPES
2004
Springer
15 years 10 months ago
2004
Springer
Digital signal processing applications are implemented in embedded systems with fixed-point arithmetic to minimize the cost and the power consumption. To reduce the application ti...
140
click to vote
IPPS
2003
IEEE
15 years 10 months ago
2003
IEEE
As computing systems of all types grow in power and complexity, it is common to want to simultaneously execute processes with different timeliness constraints. Many systems use CP...
146
click to vote
LCN
2003
IEEE
15 years 10 months ago
2003
IEEE
IEEE 802.11b compliant WLAN technology is increasingly used for cordless telephone services. Often, a WLAN phone is moved during a call. In the present paper we explore to what ex...
123
click to vote
ICCS
2003
Springer
15 years 10 months ago
2003
Springer
Smart disks, a type of processor-embedded active I/O devices, with their on-disk memory and network interface controller, can be viewed as processing elements with attached storage...