Sciweavers

635 search results - page 28 / 127
» Data Criticality in Network-On-Chip Design
Sort
View
VLUDS
2010
138views Visualization» more  VLUDS 2010»
13 years 4 months ago
Finite Element Analysis for Linear Elastic Solids Based on Subdivision Schemes
Finite element methods are used in various areas ranging from mechanical engineering to computer graphics and bio-medical applications. In engineering, a critical point is the gap...
Daniel Burkhart, Bernd Hamann, Georg Umlauf
EMSOFT
2009
Springer
14 years 4 months ago
Handling mixed-criticality in SoC-based real-time embedded systems
System-on-Chip (SoC) is a promising paradigm to implement safety-critical embedded systems, but it poses significant challenges from a design and verification point of view. In ...
Rodolfo Pellizzoni, Patrick O'Neil Meredith, Min-Y...
ICDE
1997
IEEE
112views Database» more  ICDE 1997»
14 years 11 months ago
WOL: A Language for Database Transformations and Constraints
The need to transform data between heterogeneous databases arises from a number of critical tasks in data management. These tasks are complicated by schema evolution in the underl...
Susan B. Davidson, Anthony Kosky
FLAIRS
2006
13 years 11 months ago
Evaluation of the q-matrix Method in Understanding Student Logic Proofs
In building intelligent tutoring systems, it is critical to be able to understand and diagnose student responses in interactive problem solving. We present a novel application of ...
Tiffany Barnes
ENTCS
2006
112views more  ENTCS 2006»
13 years 9 months ago
Synchronous Dataflow Pattern Matching
We introduce variant types and a pattern matching operation to synchronous dataflow languages. These languages are used in the design of reactive systems. As these systems grow in...
Grégoire Hamon