Sciweavers

7961 search results - page 397 / 1593
» Input-Output Model Programs
Sort
View
LICS
2009
IEEE
16 years 23 days ago
Clipping: A Semantics-Directed Syntactic Approximation
In this paper we introduce “clipping,” a new method of syntactic approximation which is motivated by and works in conjunction with a sound and decidable denotational model for...
Dan R. Ghica, Adam Bakewell
177
Voted
FPL
2007
Springer
176views Hardware» more  FPL 2007»
16 years 9 days ago
ReconOS: An RTOS supporting Hard- and Software Threads
Modern platform FPGAs integrate fine-grained reconfigurable logic with processor cores and allow the creation of complete configurable systems-on-chip. However, design methodol...
Enno Lübbers, Marco Platzner
CCGRID
2006
IEEE
16 years 6 days ago
How the JSDL can Exploit the Parallelism?
The description of the jobs is a very important issue for the scheduling and management of Grid jobs. Since there are a lot of different languages for describing Grid jobs, the GG...
Ivan Rodero, Francesc Guim, Julita Corbalán...
157
Voted
ISORC
1999
IEEE
15 years 10 months ago
An Adaptive Scheduling Approach in Real-Time CORBA
CORBA is an emerging middleware infrastructure with open standardization that is receiving a good acceptance since it makes easier to program distributed objects. CORBA is being e...
Carlos Montez, Joni da Silva Fraga, Jean-Marie Far...
129
Voted
PTS
2007
112views Hardware» more  PTS 2007»
15 years 7 months ago
Implementing Conformiq Qtronic
with abstract data structures • Margus Veanes, Colin Campbell and Wolfram Schulte: Composition of Model Programs
Antti Huima