Sciweavers

894 search results - page 115 / 179
» Universal Relations and
Sort
View
OTM
2007
Springer
14 years 2 months ago
Volunteer Computing, an Interesting Option for Grid Computing: Extremadura as Case Study
This paper presents the works done by several research groups from University of Extremadura and CETA-CIEMAT (Centro Extreme˜no de Tecnolog´ıas Avanzadas) in order to deploy an ...
Miguel Cárdenas Montes, Miguel A. Vega-Rodr...
WABI
2007
Springer
14 years 2 months ago
Predicting Protein Folding Kinetics Via Temporal Logic Model Checking
Christopher James Langmead⋆ and Sumit Kumar Jha Department of Computer Science, Carnegie Mellon University We present a novel approach for predicting protein folding kinetics us...
Christopher James Langmead, Sumit Kumar Jha
DATE
2005
IEEE
235views Hardware» more  DATE 2005»
14 years 1 months ago
Challenges in Embedded Memory Design and Test
Both the number of embedded memories, as well as the total embedded memory content in our chips is growing steadily. Time for chip designers, EDA makers, and test engineers to upd...
Erik Jan Marinissen, Betty Prince, Doris Keitel-Sc...
ICECCS
2005
IEEE
125views Hardware» more  ICECCS 2005»
14 years 1 months ago
Model Checking Live Sequence Charts
Live Sequence Charts (LSCs) are a broad extension to Message Sequence Charts (MSCs) to capture complex interobject communication rigorously. A tool support for LSCs, named PlayEng...
Jun Sun 0001, Jin Song Dong
ICEIS
2005
IEEE
14 years 1 months ago
Benchmarking an XML Mediator
: In the recent years, XML has become the universal interchange format. Many investigations have been made on storing, querying and integrating XML with existing applications. Many...
Florin Dragan, Georges Gardarin