1288 search results - page 216 / 258 » Integrating formal models into the programming languages cou... |
146
click to vote
CP
2003
Springer
15 years 11 months ago
2003
Springer
In this paper, we present an algorithm to propagate an n-ary constraint (with n greater than 2) specifying the relative positions of points in a three-dimensional rigid group. The ...
142
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
Data referring to cultural calendars such as the widespread Gregorian dates but also dates after the Chinese, Hebrew, or Islamic calendars as well as data referring to professiona...
167
click to vote
IPPS
2006
IEEE
16 years 9 days ago
2006
IEEE
Many new paradigms of parallel programming have emerged that compete with and complement the standard and well-established MPI model. Most notable, and successful, among these are...
142
click to vote
IV
2008
IEEE
16 years 20 days ago
2008
IEEE
Existing Information Visualization models provide insufficient support to visualization programmers in creating applications. They either broad and taxonomy based, or narrowly fo...
173
click to vote
CASES
2007
ACM
15 years 10 months ago
2007
ACM
Embedded systems are often used in safety-critical environments. Thus, thorough testing of them is mandatory. A quite active research area is the automatic test-case generation fo...