Sciweavers

20066 search results - page 3734 / 4014
» T Spaces
Sort
View
199
Voted
EMSOFT
2003
Springer
15 years 12 months ago
Resource Interfaces
We present a formalism for specifying component interfaces that expose component requirements on limited resources. The formalism permits an algorithmic check if two or more compon...
Arindam Chakrabarti, Luca de Alfaro, Thomas A. Hen...
199
Voted
EPIA
2003
Springer
15 years 12 months ago
jcc: Integrating Timed Default Concurrent Constraint Programming into Java
Abstract. This paper describes jcc, an integration of the timed default concurrent constraint programming framework [16] (Timed Default cc) into JAVA [7]. jcc is intended for use i...
Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta
ESOP
2003
Springer
15 years 12 months ago
A Tail-Recursive Semantics for Stack Inspections
Security folklore holds that a security mechanism based on stack inspection is incompatible with a global tail call optimization policy. An implementation of such a language may ha...
John Clements, Matthias Felleisen
EWMF
2003
Springer
15 years 12 months ago
Semantically Enhanced Collaborative Filtering on the Web
Item-based Collaborative Filtering (CF) algorithms have been designed to deal with the scalability problems associated with traditional user-based CF approaches without sacrificin...
Bamshad Mobasher, Xin Jin, Yanzan Zhou
FPGA
2003
ACM
138views FPGA» more  FPGA 2003»
15 years 12 months ago
Automatic transistor and physical design of FPGA tiles from an architectural specification
One of the most difficult and time-consuming steps in the creation of an FPGA is its transistor-level design and physical layout. Modern commercial FPGAs typically consume anywher...
Ketan Padalia, Ryan Fung, Mark Bourgeault, Aaron E...
« Prev « First page 3734 / 4014 Last » Next »