7961 search results - page 397 / 1593 » Input-Output Model Programs |
155
click to vote
LICS
2009
IEEE
16 years 23 days ago
2009
IEEE
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...
177
Voted
FPL
2007
Springer
16 years 9 days ago
2007
Springer
Modern platform FPGAs integrate fine-grained reconfigurable logic with processor cores and allow the creation of complete configurable systems-on-chip. However, design methodol...
187
click to vote
CCGRID
2006
IEEE
16 years 6 days ago
2006
IEEE
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...
157
Voted
ISORC
1999
IEEE
15 years 10 months ago
1999
IEEE
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...
129
Voted
PTS
2007
15 years 7 months ago
2007
with abstract data structures • Margus Veanes, Colin Campbell and Wolfram Schulte: Composition of Model Programs