Sciweavers

2736 search results - page 180 / 548
» Implementable allocation rules
Sort
View
VSTTE
2010
Springer
14 years 11 months ago
Reusable Verification of a Copying Collector
Garbage collectors are very hard to implement correctly due to their low-level manipulation of memory. In this paper, we construct a copying garbage collector which we have proved ...
Magnus O. Myreen
BMCBI
2008
130views more  BMCBI 2008»
15 years 1 months ago
FAF-Drugs2: Free ADME/tox filtering tool to assist drug discovery and chemical biology projects
Background: Drug discovery and chemical biology are exceedingly complex and demanding enterprises. In recent years there are been increasing awareness about the importance of pred...
David Lagorce, Olivier Sperandio, Hervé Gal...
JODS
2007
138views Data Mining» more  JODS 2007»
15 years 1 months ago
A Formal Framework for Adaptive Access Control Models
Abstract. For several reasons enterprises are frequently subject to organizational change. Respective adaptations may concern business processes, but also other components of an en...
Stefanie Rinderle, Manfred Reichert
ICCAD
2000
IEEE
119views Hardware» more  ICCAD 2000»
15 years 5 months ago
Synthesis of Operation-Centric Hardware Descriptions
Most hardware description frameworks, whether schematic or textual, use cooperating finite state machines (CFSM) as the underlying abstraction. In the CFSM framework, a designer ...
James C. Hoe, Arvind
APCHI
1998
IEEE
15 years 5 months ago
Eviss: A Visual System Having a Spatial Parser Generator
In this paper, a visual system Eviss is proposed. Visual systems proposed so far have been fixed on certain specifications. It is hard to make and modify such visual systems. Sinc...
Akihiro Baba, Jiro Tanaka