Sciweavers

668 search results - page 81 / 134
» Implementing and Evaluating Automatic Checkpointing
Sort
View
DAC
2002
ACM
16 years 4 months ago
Software synthesis from synchronous specifications using logic simulation techniques
This paper addresses the problem of automatic generation of implementation software from high-level functional specifications in the context of embedded system on chip designs. So...
Yunjian Jiang, Robert K. Brayton
WWW
2005
ACM
16 years 3 months ago
On optimal service selection
While many works have been devoted to service matchmaking and modeling nonfunctional properties, the problem of matching service requests to offers in an optimal way has not yet b...
Piero A. Bonatti, P. Festa
EUROSYS
2006
ACM
16 years 8 days ago
URICA: Usage-awaRe Interactive Content Adaptation for mobile devices
Usage-awaRe Interactive Content Adaptation (URICA) is an automatic technique that adapts content for display on mobile devices based on usage semantics. URICA allows users who are...
Iqbal Mohomed, Jim Chengming Cai, Eyal de Lara
ICDE
2010
IEEE
200views Database» more  ICDE 2010»
15 years 10 months ago
GenerIE: Information extraction using database queries
— Information extraction systems are traditionally implemented as a pipeline of special-purpose processing modules. A major drawback of such an approach is that whenever a new ex...
Luis Tari, Phan Huy Tu, Jörg Hakenberg, Yi Ch...
CEC
2008
IEEE
15 years 9 months ago
Generating massive high-quality random numbers using GPU
— Pseudo-random number generators (PRNG) have been intensively used in many stochastic algorithms in artificial intelligence, computer graphics and other scientific computing. ...
Wai-Man Pang, Tien-Tsin Wong, Pheng-Ann Heng