9110 search results - page 1515 / 1822 » Formally-Based Design Evaluation |
219
click to vote
ECWEB
2010
Springer
15 years 4 months ago
2010
Springer
: Virtual worlds have become very popular recently, in particular 3D virtual worlds with a built-in virtual currency that enables providers and users to monetize their creations. V...
162
click to vote
EMSOFT
2010
Springer
15 years 4 months ago
2010
Springer
In the design of hard real-time systems, the feasibility of the task set is one of the primary concerns. However, in embedded systems with scarce resources, optimizing resource us...
197
click to vote
FIS
2010
15 years 4 months ago
2010
We investigate services giving users an adequate insight on his or her energy consumption habits in order to optimize it in the long run. The explored energy awareness services are...
174
click to vote
FPL
2010
Springer
15 years 4 months ago
2010
Springer
FPGA devices are mostly utilized for customized application designs with heavily pipelined and aggressively parallel computations. However, little focus is normally given to the FP...
206
click to vote
FPL
2010
Springer
15 years 4 months ago
2010
Springer
Significant advances in the field of configurable computing have enabled parallel processing within a single FieldProgrammable Gate Array (FPGA) chip. This paper presents the imple...