104 search results - page 20 / 21 » Action Abstraction in Timed Process Algebra |
141
click to vote
ISCAS
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— We present a simple silicon circuit for modelling voltagedependent ion channels found within neural cells, capturing both the gating particle’s sigmoidal activation (...
139
click to vote
TASE
2008
IEEE
15 years 3 months ago
2008
IEEE
Abstract--Cluster tools are widely used as semiconductor manufacturing equipment. While throughput analysis and scheduling of single-cluster tools have been well-studied, research ...
137
click to vote
JSAC
2010
15 years 2 months ago
2010
Abstract—In this paper, we study how to optimize the transmission decisions of nodes aimed at supporting mission-critical applications, such as surveillance, security monitoring,...
161
click to vote
MICRO
2010
IEEE
15 years 2 months ago
2010
IEEE
SARC merges cache controller and network interface functions by relying on a single hardware primitive: each access checks the tag and the state of the addressed line for possible...
142
click to vote
KBSE
2002
IEEE
15 years 8 months ago
2002
IEEE
ort gives their abstracts. s of the position papers Recent Experiences with Code Generation and Task Automation Agents in Software Tools (J. Grundy, J. Hosking) As software grows i...