Sciweavers

1884 search results - page 254 / 377
» Abstraction from Counters: An Application on Real-Time Syste...
Sort
View
SCP
2008
144views more  SCP 2008»
15 years 1 months ago
Implicit ownership types for memory management
Abstract. The Real-time Specification for Java (RTSJ) introduced a range of language features for explicit memory management. While the RTSJ gives programmers fine control over mem...
Tian Zhao, Jason Baker, James Hunt, James Noble, J...
EWC
2002
86views more  EWC 2002»
15 years 1 months ago
On Object-Oriented Frameworks and Coordinate Free Formulations of PDEs
An object-oriented (OO) framework for Partial tial Equations (PDEs) provides software abstractions for numerical simulation of PDEs. The design of such frameworks is not trivial, a...
Magne Haveraaen, Hans Z. Munthe-Kaas, Krister &Ari...
NORMAS
2005
Springer
15 years 7 months ago
Ontological Aspects of the Implementation of Norms in Agent-Based Electronic Institutions
In order to regulate different circumstances over an extensive period of time, norms in institutions are stated in a vague and biguous manner, thereby abstracting from concrete as...
Davide Grossi, Huib Aldewereld, Javier Vázq...
CHI
2004
ACM
15 years 7 months ago
Collections: flexible, essential tools for information management
While collections—aggregation mechanisms such as folders, buddy lists, photo albums, etc.—clearly play a central role in information management, the potential benefits of true...
David R. Karger, Dennis Quan
111
Voted
ASM
2008
ASM
15 years 3 months ago
Using EventB to Create a Virtual Machine Instruction Set Architecture
A Virtual Machine (VM) is a program running on a conventional microprocessor that emulates the binary instruction set, registers, and memory space of an idealized computing machine...
Stephen Wright