Sciweavers

6768 search results - page 945 / 1354
» Developing Applications Using Model-Driven Design Environmen...
Sort
View
TOPLAS
2010
101views more  TOPLAS 2010»
15 years 4 months ago
Nomadic pict: Programming languages, communication infrastructure overlays, and semantics for mobile computation
Pict project. We define two levels of abstraction as calculi with precise semantics: a low-level Nomadic π calculus with migration and location-dependent communication, and a hig...
Peter Sewell, Pawel T. Wojciechowski, Asis Unyapot...
EMSOFT
2008
Springer
15 years 8 months ago
Tax-and-spend: democratic scheduling for real-time garbage collection
Real-time Garbage Collection (RTGC) has recently advanced to the point where it is being used in production for financial trading, military command-and-control, and telecommunicat...
Joshua S. Auerbach, David F. Bacon, Perry Cheng, D...
ICES
2005
Springer
176views Hardware» more  ICES 2005»
15 years 12 months ago
Consensus-Based Evaluation for Fault Isolation and On-line Evolutionary Regeneration
While the fault repair capability of Evolvable Hardware (EH) approaches have been previously demonstrated, further improvements to fault handling capability can be achieved by exp...
Kening Zhang, Ronald F. DeMara, Carthik A. Sharma
INTERWORKING
2000
15 years 10 months ago
A Linux Implementation of a Differentiated Services Router
The Internet Engineering Task Force (IETF) is currently working on the development of Differentiated Services (DiffServ). DiffServ seems to be a promising technology for next-gene...
Torsten Braun, Hans Joachim Einsiedler, Matthias S...
156
Voted
NAR
2006
120views more  NAR 2006»
15 years 6 months ago
SuperNatural: a searchable database of available natural compounds
Although tremendous effort has been put into synthetic libraries, most drugs on the market are still 10 natural compounds or derivatives thereof. There are encyclopaedias of natur...
Mathias Dunkel, Melanie Füllbeck, Stefanie Ne...