15636 search results - page 2785 / 3128 » Modelling by supersaturated designs |
219
click to vote
DAC
2005
ACM
15 years 9 months ago
2005
ACM
We propose a normalization technique for verifying arithmetic circuits in a bounded model checking environment. Our technique operates on the arithmetic bit level (ABL) descriptio...
227
click to vote
ECTEL
2006
Springer
15 years 9 months ago
2006
Springer
It is often the case that analyses of human interactive activity are lost once an article is written about the results obtained. Although it is clear that corpora are gathered in o...
218
click to vote
DOCENG
2005
ACM
15 years 9 months ago
2005
ACM
In this paper we present an experimental content adaptation system for mobile devices. The system enables the presentation of multimedia content and considers the problem of small...
252
click to vote
CC
2008
Springer
15 years 9 months ago
2008
Springer
JIT compilation is a model of execution which translates at run time critical parts of the program to a low level representation. Typically a JIT compiler produces machine code fro...
197
click to vote
CIS
2007
Springer
15 years 9 months ago
2007
Springer
Multi-domain application environments where distributed domains interoperate with each other are becoming a reality in Internet-based enterprise applications. The secure interoper...