Sciweavers

17298 search results - page 140 / 3460
» Abstract computing machines
Sort
View
105
Voted
CIE
2006
Springer
15 years 7 months ago
Heap-Abstraction for an Object-Oriented Calculus with Thread Classes
traction for an Object-Oriented Calculus with Thread Classes Erika
Erika Ábrahám, Andreas Grüner, ...
CMSB
2008
Springer
15 years 5 months ago
Integrated Analysis from Abstract Stochastic Process Algebra Models
Stochastic Process Algebra Models Jane Hillston. University of Edinburgh.
Jane Hillston, Federica Ciocchetta, Adam Duguid, S...
ENTCS
2008
120views more  ENTCS 2008»
15 years 3 months ago
Reasoning about B+ Trees with Operational Semantics and Separation Logic
The B+ tree is an ordered tree structure with a fringe list. It is the most widely used data structure for data organisation and searching in database systems specifically, and, p...
Alan P. Sexton, Hayo Thielecke
98
Voted
HRI
2009
ACM
15 years 10 months ago
General visualization abstraction algorithm for geographic map-based human-robot interfaces
Visualization Abstraction Algorithm for Geographic Map-based Human-Robot Interfaces Curtis M. Humphrey Julie A. Adams Department of Electrical Engineering and Computer Science Vand...
Curtis M. Humphrey, Julie A. Adams
125
Voted
FDL
2005
IEEE
15 years 9 months ago
Hardware Synthesis of Parallel Machines from SystemC
Heterogeneous system specifications implicitly assume parallel execution of their components that rely on supporting platform architectures and operating systems. Unfortunately, c...
Antoni Portero, Lluis Ribas, Jordi Carrabina