117 search results - page 9 / 24 » An Implementation of the Linux Software Repository Model for... |
125
Voted
FAST
2004
15 years 4 months ago
2004
File system traces have been used for years to analyze user behavior and system software behavior, leading to advances in file system and storage technologies. Existing traces, ho...
140
Voted
TASE
2008
IEEE
15 years 2 months ago
2008
IEEE
This paper considers a matrix-based discrete event control approach for a warehouse. The control system is organized in two modules: a dynamic model and a controller. The model pro...
153
Voted
EUROMICRO
1999
IEEE
15 years 7 months ago
1999
IEEE
Software synthesis for system level design languages becomes feasible because the current technology, pricing and application trends will most likely alleviate the industrial empha...
111
Voted
BIBM
2007
IEEE
15 years 9 months ago
2007
IEEE
Thousands of biochemical interactions are available for download from curated databases such as Reactome, Pathway Interaction Database and other sources in the Biological Pathways...
133
Voted
WADT
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. We consider the verification of a simple pipelined microprocessor in Maude, by implementing an equational theoretical model of systems. Maude is an equationally-based la...