Sciweavers

635 search results - page 28 / 127
» Data Criticality in Network-On-Chip Design
Sort
View
VLUDS
2010
138views Visualization» more  VLUDS 2010»
14 years 7 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
15 years 7 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...
194
Voted
ICDE
1997
IEEE
112views Database» more  ICDE 1997»
16 years 1 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
106
Voted
FLAIRS
2006
15 years 1 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
80
Voted
ENTCS
2006
112views more  ENTCS 2006»
15 years 15 days 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