1000 search results - page 162 / 200 » Designing for experiences: randomness as a resource |
EUROPAR
2006
Springer
14 years 13 days ago
2006
Springer
Resource constraints are a major concern with the design, development, and deployment of embedded systems. Embedded systems are highly hardware-dependent and have little computatio...
CHARME
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Automatic formal verification techniques generally require exponential resources with respect to the number of primary inputs of a netlist. In this paper, we present sev...
LREC
2010
13 years 10 months ago
2010
The aim of the paper is to present recent -- as of March 2010 -- developments in the construction of the National Corpus of Polish (NKJP). The NKJP project was launched at the ver...
GEOINFO
2003
13 years 10 months ago
2003
This paper describes the implementation of a workflow management system to support mobile GIS workgroup applications and highlights the design of the workflow definition language t...
CORR
2002
Springer
13 years 8 months ago
2002
Springer
Application development for distributed-computing ``Grids'' can benefit from tools that variously hide or enable application-level management of critical aspects of the ...