1026 search results - page 97 / 206 » Semantic Components for Timetabling |
110
click to vote
ACSD
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--Semantics of many specification languages, particularly those used in the domain of hardware, is described in terms of vector-based transition systems. In such a transiti...
129
Voted
ICDT
2012
ACM
13 years 5 months ago
2012
ACM
We introduce a new normal form, called essential tuple normal form (ETNF), for relations in a relational database where the constraints are given by functional dependencies and jo...
139
click to vote
OTM
2007
Springer
15 years 9 months ago
2007
Springer
: Two major problems in constructing data federations (for example, data warehouses and database federations) concern achieving and maintaining consistency and a uniform representa...
119
click to vote
FCCM
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper, we present hthreads, a unifying programming model for specifying application threads running within a hybrid CPU/FPGA system. Threads are specified from a single p...
128
click to vote
FMSD
2006
15 years 3 months ago
2006
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc sy...