1362 search results - page 165 / 273 » The Projection of Systolic Programs |
117
Voted
ELPUB
2007
ACM
15 years 8 months ago
2007
ACM
The growth in electronic and digital publishing on the World Wide Web has led to the development of a wide range of tools for generating metadata. As a result, it can be difficult...
142
click to vote
CCGRID
2004
IEEE
15 years 8 months ago
2004
IEEE
The Metaverse project aims to develop technology for low-cost, high-resolution networked immersive display environments that can be used for distributed collaboration, exploration...
DEXAW
2004
IEEE
15 years 8 months ago
2004
IEEE
In this article, we present the GI-Cat web service: a SOAP-based service which provides the basic functionalities for GI dataset cataloguing and access. The introduced GI-Cat data...
152
Voted
CP
2006
Springer
15 years 8 months ago
2006
Springer
Ideally, programming propagators as implementations of constraints should be an entirely declarative specification process for a large class of constraints: a high-level declarativ...
144
click to vote
TACAS
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. The Prosper (Proof and Specification Assisted Design Environments) project advocates the use of toolkits which allow existing verification tools to be adapted to a more f...