10707 search results - page 275 / 2142 » Designing executable abstractions |
127
click to vote
ISCAS
2003
IEEE
15 years 9 months ago
2003
IEEE
To handle today’s complexity, modern circuits and systems be specified at a high level of abstraction. Recently, SystemC has been proposed as a language that allows a fast on o...
134
click to vote
CAISE
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. CORBA Object Transaction Monitors (OTM) refer to a middleware technology that enable the building of transactional, objectoriented information systems running in distribu...
123
click to vote
PERCOM
2004
ACM
16 years 4 months ago
2004
ACM
Applications in the Pervasive Computing domain are challenged by the dynamism in which their execution environment changes, e.g. due to user mobility. As a result, applications ha...
152
click to vote
ICCAD
2003
IEEE
16 years 1 months ago
2003
IEEE
Abstract: In this paper, we present an interprocessor communication-aware task scheduling algorithm applicable to a multiprocessor system executing an application with dependent ta...
142
click to vote
TPHOL
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract. FinFuns are total functions that are constant except for a finite set of points, i.e. a generalisation of finite maps. We formalise them in Isabelle/HOL and present how...