Sciweavers

64 search results - page 7 / 13
» Edicts: implementing features with flexible binding times
Sort
View
JUCS
2008
116views more  JUCS 2008»
14 years 9 months ago
Comparative Aspects between the Cluster and Grid Implementations of BigBatch
: BigBatch is an image processing environment designed to process batches of thousands of monochromatic documents. One of the flexibilities and pioneer aspects of BigBatch is offer...
Giorgia de Oliveira Mattos, Andrei de Araúj...
EDBT
2009
ACM
208views Database» more  EDBT 2009»
15 years 4 months ago
Flexible and efficient querying and ranking on hyperlinked data sources
There has been an explosion of hyperlinked data in many domains, e.g., the biological Web. Expressive query languages and effective ranking techniques are required to convert this...
Ramakrishna Varadarajan, Vagelis Hristidis, Louiqa...
MICRO
2008
IEEE
92views Hardware» more  MICRO 2008»
15 years 3 months ago
Online design bug detection: RTL analysis, flexible mechanisms, and evaluation
Higher level of resource integration and the addition of new features in modern multi-processors put a significant pressure on their verification. Although a large amount of res...
Kypros Constantinides, Onur Mutlu, Todd M. Austin
DBPL
1991
Springer
92views Database» more  DBPL 1991»
15 years 1 months ago
A Remote Execution Mechanism For Distributed Homogeneous Stable Stores
Persistent languages and systems provide the ability to create and manipulate all data in a uniform manner regardless of how long it persists. Such systems are usually implemented...
Alan Dearle, John Rosenberg, Francis Vaughan
74
Voted
EMSOFT
2008
Springer
14 years 11 months ago
Automatically transforming and relating Uppaal models of embedded systems
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
Timothy Bourke, Arcot Sowmya