3388 search results - page 358 / 678 » Type-theoretic design patterns |
153
click to vote
CASES
2001
ACM
15 years 10 months ago
2001
ACM
In this paper we describe a design exploration methodology for clustered VLIW architectures. The central idea of this work is a set of three techniques aimed at reducing the cost ...
179
click to vote
ER
2000
Springer
15 years 10 months ago
2000
Springer
Data Acquisition Systems (DAS) are the basis for building monitoring tools that enable the supervision of local and remote systems. DASs are complex systems. It is difficult for de...
184
click to vote
ASPLOS
2010
ACM
15 years 10 months ago
2010
ACM
We present an all-optical approach to constructing data networks on chip that combines the following key features: (1) Wavelengthbased routing, where the route followed by a packe...
144
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
Blogs have become an important medium for people to express opinions and share information on the web. Predicting the interests of bloggers can be beneficial for information retri...
160
click to vote
FECS
2006
15 years 8 months ago
2006
Computer-based grading tools have existed for nearly as long as computing courses. The majority of these tools have focused on completely automatic grading of functional requiremen...