2135 search results - page 185 / 427 » Applications and Issues in Pen-Centric Computing |
DAC
2001
ACM
14 years 10 months ago
2001
ACM
This paper describes the first application of the Genevieve test generation methodology. The Genevieve approach uses semi-formal techniques derived from "model-checking"...
VLSID
2005
IEEE
14 years 9 months ago
2005
IEEE
In this article we address efficiency issues in implementation of Monte Carlo algorithm for 3D capacitance extraction. Error bounds in statistical capacitance estimation are discus...
SIGMOD
2005
ACM
14 years 9 months ago
2005
ACM
In this paper we look at the application of XML data management support in scientific data analysis workflows. We describe a software infrastructure that aims to address issues as...
EWSN
2004
Springer
14 years 8 months ago
2004
Springer
Sensor networks consist of a potentially huge number of very small and resource limited self-organizing devices. This paper presents the design of a general distributed service dir...
SEUS
2009
IEEE
14 years 3 months ago
2009
IEEE
Future embedded systems are expected to use chip-multiprocessors to provide the execution power for increasingly demanding applications. Multiprocessors increase the pressure on th...