1115 search results - page 19 / 223 » An Abstract Look at Realizability |
GG
2004
Springer
14 years 27 days ago
2004
Springer
Abstract. In the context of graph transformation we look at the operation of switching, which can be viewed as an elegant method for realizing global transformations of (group-labe...
ISCAS
2011
IEEE
12 years 11 months ago
2011
IEEE
Abstract— Multi-core processors are about to conquer embedded systems — it is not the question of whether they are coming but how the architectures of the microcontrollers shou...
CAV
2010
Springer
13 years 10 months ago
2010
Springer
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...
COMPGEOM
2005
ACM
13 years 9 months ago
2005
ACM
Order Type Extension and New Results ectilinear Crossing Number - Extended Abstract Oswin Aichholzer∗ Hannes Krasser† We provide a complete data base of all realizable order t...
ICWE
2003
Springer
14 years 21 days ago
2003
Springer
This paper takes a critical look at current development efforts with learning objects for Web-based e-learning. It points out the limitations of these efforts and argues that they ...