1950 search results - page 354 / 390 » Lambda-Free Logical Frameworks |
187
click to vote
RTSS
2006
IEEE
16 years 5 days ago
2006
IEEE
Modern FPGA devices, which include (multiple) processor core(s) as diffused IP on the silicon die, provide an excellent platform for developing custom multiprocessor systems-on-pr...
161
click to vote
ISLPED
2006
ACM
16 years 4 days ago
2006
ACM
Process variations will increasingly impact the operational characteristics of integrated circuits in nanoscale semiconductor technologies. Researchers have proposed various desig...
168
click to vote
CCGRID
2005
IEEE
15 years 11 months ago
2005
IEEE
ABSTRACT. Objectives. This paper addresses Grid-based integration and access of distributed data from infectious disease patient databases, literature on in-vitro and in-vivo pharm...
162
click to vote
SEUS
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper, we defined the concept of the grouped distributed objects[10-14], as a logical unit of distributed application service, and developed a distributed programming deve...
175
click to vote
SIGCSE
2005
ACM
15 years 11 months ago
2005
ACM
Networking course projects are usually described by an informal specification and a collection of test cases. Students often misunderstand the specification or oversimplify it t...