2623 search results - page 283 / 525 » Conceptual Application Domain Modelling |
163
click to vote
AADEBUG
2000
Springer
15 years 9 months ago
2000
Springer
This work is devoted to constraint solving motivated by the debugging of constraint logic programs a la GNU-Prolog. The paper focuses only on the constraints. In this framework, c...
160
Voted
ASPDAC
1998
ACM
15 years 9 months ago
1998
ACM
We developed a new modular synthesis approach for design of low-power core-based data-intensive application-specific systems on silicon. The power optimization is conducted in th...
193
Voted
CVIU
2007
15 years 5 months ago
2007
Markerless vision-based human motion analysis has the potential to provide an inexpensive, non-obtrusive solution for the estimation of body poses. The significant research effo...
161
Voted
JOT
2008
15 years 5 months ago
2008
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...
131
Voted
EUROPAR
2004
Springer
15 years 10 months ago
2004
Springer
The shared data space model has proven to be an effective paradigm for building distributed applications. However, building an efficient distributed implementation remains a chall...