1301 search results - page 159 / 261 » Specifications via Realizability |
BPM
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In large organizations different users or user roles have distinguished perspectives over business processes and related data. Personalized views of the managed processes...
ARITH
2007
IEEE
14 years 2 months ago
2007
IEEE
The study of specific hardware circuits for the evaluation of floating-point elementary functions was once an active research area, until it was realized that these functions were...
FMCAD
2007
Springer
14 years 2 months ago
2007
Springer
In today's SoC design cycles, debugging is one of the most time consuming manual tasks. CAD solutions strive to reduce the inefficiency of debugging by identifying error sourc...
BROADNETS
2004
IEEE
14 years 1 months ago
2004
IEEE
Multi-homed, mobile wireless computing and communication devices can spontaneously form communities to logically combine and share the bandwidth of each other's wide-area com...
BIOADIT
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. This article describes an implementation of a basic multiprocessor system that exhibits replication and differentiation abilities on the POEtic tissue, a programmable har...