Sciweavers

13618 search results - page 299 / 2724
» The Newton Operating System
Sort
View
193
Voted
CC
2008
Springer
111views System Software» more  CC 2008»
15 years 8 months ago
A System for Generating Static Analyzers for Machine Instructions
This paper describes the design and implementation of a language for specifying the semantics of an instruction set, along with a run-time system to support the static analysis of ...
Junghee Lim, Thomas W. Reps
221
Voted
AWPN
2008
274views Algorithms» more  AWPN 2008»
15 years 8 months ago
A Janus-Faced Net Component for the Prototyping of Open Systems
We introduce a Janus-faced reference net component that presents the basis for the recursive composition of complex systems from open system units. We particularly focus on the ope...
Matthias Wester-Ebbinghaus, Daniel Moldt
OR
2007
Springer
15 years 6 months ago
Economic evaluation of biomass heating systems: a case of greenhouses in northern Greece
In this paper, a methodology for the evaluation of the economic viability of investment plans for biomass heating systems is applied. The factors participating in the development ...
Ilias J. Gousgouriotis, Yiannis A. Katsigiannis, P...
SIGOPSE
1998
ACM
15 years 11 months ago
Battery-powered distributed systems (extended abstract)
Abstract for EW’98 Paul J.M. Havinga, Arne Helme, Sape J. Mullender1 , Gerard J.M. Smit, Jaap Smit University of Twente, Enschede, Netherlands
Paul J. M. Havinga, Arne Helme, Sape J. Mullender,...
IJWBC
2006
69views more  IJWBC 2006»
15 years 6 months ago
Schema blending and stable structure in online social systems
: Autonomous online social systems can emerge from the interaction between the stable social practices of soliciting and eavesdropping when they are performed online. These practic...
Nick V. Flor, Seana Coulson, Paul P. Maglio