2138 search results - page 351 / 428 » Logical Step-Indexed Logical Relations |
151
click to vote
IEEEPACT
2008
IEEE
15 years 11 months ago
2008
IEEE
While technology trends have ushered in the age of chip multiprocessors (CMP) and enabled designers to place an increasing number of cores on chip, a fundamental question is what ...
150
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Object-oriented language concepts have been highly successful, resulting in a large number of object-oriented languages and language extensions. Unfortunately, formal met...
151
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— Continuing scaling of CMOS technology has allowed aggressive pursuant of increased clock rate in DSM chips. The ever shorter clock period has made switching times of di...
155
click to vote
PPDP
2005
Springer
15 years 10 months ago
2005
Springer
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...
164
click to vote
SEMWEB
2005
Springer
15 years 10 months ago
2005
Springer
Information retrieval systems have to deal with uncertain knowledge and query results should reflect this uncertainty in some manner. However, Semantic Web ontologies are based on...