3809 search results - page 376 / 762 » Associative language descriptions |
160
click to vote
MODELS
2007
Springer
16 years 1 months ago
2007
Springer
In this position paper, we explain our approach for collaborative systems development based on a model of cooperative applications and a formalism called ORCHESTRA allowing to exp...
142
click to vote
IPPS
2006
IEEE
16 years 26 days ago
2006
IEEE
This paper presents TPCC-UVa, an open-source implementation of the TPC-C benchmark intended to be used in parallel and distributed systems. TPCC-UVa is written entirely in C langu...
119
click to vote
ISCAS
2006
IEEE
16 years 26 days ago
2006
IEEE
—Behavioral modeling with virtual built-in self-test verification of high-speed wired link designs is described in this paper. Our procedure is based on principles of top-down mi...
174
click to vote
CP
2005
Springer
16 years 11 days ago
2005
Springer
Local search is a powerful and well-established method for solving hard combinatorial problems. Yet, until recently, it has provided very little user support, leading to time-consu...
189
click to vote
RULEML
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. The language of dl-programs is a latest effort in developing an expressive representation for Web-based ontologies. It allows to build answer set programming (ASP) on top...