3824 search results - page 539 / 765 » Geometry Constructions Language |
123
Voted
HPCA
2007
IEEE
16 years 4 months ago
2007
IEEE
Task-selection policies are critical to the performance of any architecture that uses speculation to extract parallel tasks from a sequential thread. This paper demonstrates that ...
130
Voted
ICCAD
2008
IEEE
16 years 15 days ago
2008
IEEE
— This paper presents a fast analytical method for estimating the throughput of pipelined asynchronous systems, and then applies that method to develop a fast solution to the pro...
143
click to vote
ASM
2010
ASM
15 years 10 months ago
2010
ASM
Abstract. Feature-oriented modelling is a well-known approach for Software Product Line (SPL) development. It is a widely used method when developing groups of related software. Wi...
129
Voted
FSEN
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We study termination of programs in concurrent higherorder languages. A higher-order concurrent calculus combines features of the λ-calculus and of the message-passing c...
158
Voted
IAT
2008
IEEE
15 years 10 months ago
2008
IEEE
Multi-agent systems have proven to be a powerful technology for building complex distributed applications. However, the process of designing, configuring and deploying agent-based...