Sciweavers

626 search results - page 28 / 126
» Logical Foundations for Data Integration
Sort
View
KI
2010
Springer
13 years 3 months ago
Differential Dynamic Logics
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equa...
André Platzer
LOGCOM
2007
130views more  LOGCOM 2007»
13 years 8 months ago
A Logic for Concepts and Similarity
Categorisation of objects into classes is currently supported by (at least) two ‘orthogonal’ methods. In logic-based approaches, classifications are defined through ontologi...
Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter,...
MSS
2003
IEEE
152views Hardware» more  MSS 2003»
14 years 1 months ago
Data Grids, Collections, and Grid Bricks
Data grids federate storage resources. They provide a logical name space that can be used to register digital entities, a storage repository ion for manipulating data, and a high ...
Arcot Rajasekar, Michael Wan, Reagan Moore, George...
DATE
2007
IEEE
106views Hardware» more  DATE 2007»
14 years 3 months ago
Optimized integration of test compression and sharing for SOC testing
1 The increasing test data volume needed to test core-based System-on-Chip contributes to long test application times (TAT) and huge automatic test equipment (ATE) memory requireme...
Anders Larsson, Erik Larsson, Petru Eles, Zebo Pen...
FPGA
2004
ACM
117views FPGA» more  FPGA 2004»
14 years 2 months ago
A magnetoelectronic macrocell employing reconfigurable threshold logic
In this paper, we introduce a reconfigurable fabric based around a new class of circuit element: the hybrid Hall effect (HHE) magnetoelectronic device. Because they incorporate a ...
Steve Ferrera, Nicholas P. Carter