3335 search results - page 244 / 667 » A Unified Approach to Modeling and Programming |
173
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
There is an increasing interest in techniques that support measurement and analysis of fielded software systems. One of the main goals of these techniques is to better understand ...
191
click to vote
CSCLP
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Combinatorial problems such as scheduling, resource allocation, and configuration have many attributes that can be subject of user preferences. Traditional optimization ...
197
click to vote
HPCA
2006
IEEE
16 years 7 months ago
2006
IEEE
An important means of validating the design of commercial-grade shared memory multiprocessors is to run a large number of pseudo-random test programs on them. However, when intent...
189
click to vote
FUIN
2006
15 years 6 months ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...
201
click to vote
ECCV
2006
Springer
16 years 8 months ago
2006
Springer
This paper presents a practical method for finding the provably globally optimal solution to numerous problems in projective geometry including multiview triangulation, camera rese...