Sciweavers

4600 search results - page 228 / 920
» Presentation Of The Eurolang Project
Sort
View
ISOLA
2004
Springer
16 years 18 days ago
Model Based Testing of Large-scale Software: How Can Simple Models Help to Test Complex System
The article is concerned with an approach to model based test development for large software systems. The approach presented is a part of UniTesK test development technology, which...
Victor V. Kuliamin
VLDB
2004
ACM
102views Database» more  VLDB 2004»
16 years 18 days ago
PIVOT and UNPIVOT: Optimization and Execution Strategies in an RDBMS
PIVOT and UNPIVOT, two operators on tabular data that exchange rows and columns, enable data transformations useful in data modeling, data analysis, and data presentation. They ca...
Conor Cunningham, Goetz Graefe, César A. Ga...
ACSD
2003
IEEE
95views Hardware» more  ACSD 2003»
16 years 16 days ago
Quasi-Static Scheduling for Concurrent Architectures
This paper presents a synthesis approach for reactive systems that aims at minimizing the overhead introduced by the operating system and the interaction among the concurrent task...
Jordi Cortadella, Alex Kondratyev, Luciano Lavagno...
COOPIS
2003
IEEE
16 years 16 days ago
A Distributed Rule Mechanism for Multidatabase Systems
Abstract. We describe a mechanism based on distributed Event-ConditionAction (ECA) rules that supports data coordination in a multidatabase setting. The proposed mechanism includes...
Vasiliki Kantere, John Mylopoulos, Iluju Kiringa
DATE
2003
IEEE
101views Hardware» more  DATE 2003»
16 years 16 days ago
On Modeling Cross-Talk Faults
Circuit marginality failures in high performance VLSI circuits are projected to increase due to shrinking process geometries and high frequency design techniques. Capacitive cross...
Sujit T. Zachariah, Yi-Shing Chang, Sandip Kundu, ...