Sciweavers

2377 search results - page 43 / 476
» Hybrid Systems in TLA
Sort
View
HOTOS
2009
IEEE
13 years 11 months ago
Operating System Support for NVM+DRAM Hybrid Main Memory
:
Jeffrey C. Mogul, Eduardo Argollo, Mehul A. Shah, ...
GCC
2005
Springer
14 years 28 days ago
A Hybrid Workflow Paradigm for Integrating Self-managing Domain-Specific Applications
Abstract. A hybrid workflow system could be treated as a domain-across infrastructure by incorporating different workflow systems and WfMSs engaged in the complex business processi...
Wan-Chun Dou, Shing-Chi Cheung, Guihai Chen, Jie W...
IMECS
2007
13 years 8 months ago
Analysis of a Mixed-Signal Circuit in Hybrid Process Algebra ACPsrt
— ACPsrt hs is a hybrid process algebra obtained by extending a combination of two existing extensions of Algebra of Communicating Processes (ACP), namely the process algebra wit...
Ka L. Man, Michel P. Schellekens
AUTOMATICA
2006
110views more  AUTOMATICA 2006»
13 years 7 months ago
Solutions to hybrid inclusions via set and graphical convergence with stability theory applications
Motivated by questions in stability theory for hybrid dynamical systems, we establish some fundamental properties of the set of solutions to such systems. Using the notion of a hy...
Rafal Goebel, Andrew R. Teel
ICS
2011
Tsinghua U.
12 years 11 months ago
Hystor: making the best use of solid state drives in high performance storage systems
With the fast technical improvement, flash memory based Solid State Drives (SSDs) are becoming an important part of the computer storage hierarchy to significantly improve perfo...
Feng Chen, David A. Koufaty, Xiaodong Zhang