13734 search results - page 484 / 2747 » Abstractions of data types |
170
click to vote
FMCO
2008
Springer
15 years 8 months ago
2008
Springer
This paper outlines a general picture of our ongoing work under EU Mobius and Sensoria projects on a type-based compilation and execution framework for a class of multicore CPUs. O...
167
click to vote
CIKM
2007
Springer
16 years 1 months ago
2007
Springer
Heterogeneous entities or objects are very common and are usually interrelated with each other in many scenarios. For example, typical Web search activities involve multiple types...
177
click to vote
DSVIS
2003
Springer
16 years 3 days ago
2003
Springer
The increasing availability of various types of interactive platforms has raised the need for design environments able to support development of user interfaces that exploit intera...
172
click to vote
LICS
2000
IEEE
15 years 11 months ago
2000
IEEE
While Game Semantics has been remarkably successful at g, often in a fully abstract manner, a wide range of features of programming languages, there has to date been no attempt at...
194
click to vote
CASCON
2001
15 years 8 months ago
2001
Automated verification tools vary widely in the types of properties they are able to analyze, the complexity of their algorithms, and the amount of necessary user involvement. In ...