Sciweavers

3706 search results - page 288 / 742
» System Description: E-KRHyper
Sort
View
DAC
1998
ACM
16 years 7 months ago
A Programming Environment for the Design of Complex High Speed ASICs
A C++ based programming environment for the design of complex high speed ASICs is presented. The design of a 75 Kgate DECT transceiver is used as a driver example. Compact descrip...
Patrick Schaumont, Serge Vernalde, Luc Rijnders, M...
CHI
2009
ACM
16 years 7 months ago
Letting tools talk: interactive technology for firefighting
In this work-in-progress report we present the results of a preliminary analysis of a set of fieldwork studies conducted in collaboration with a firefighter school and a firefight...
Sebastian Denef, Leonardo Ramirez, Tobias Dyrks
FROCOS
2009
Springer
16 years 1 months ago
DL-Lite with Temporalised Concepts, Rigid Axioms and Roles
We investigate the temporal extension of the description logic DL-Lite(RN ) bool with the until operator on concepts, rigid (time-independent) and local (time-dependent) roles, and...
Alessandro Artale, Roman Kontchakov, Vladislav Ryz...
RP
2009
Springer
110views Control Systems» more  RP 2009»
16 years 1 months ago
Formalisms for Specifying Markovian Population Models
Abstract. We compare several languages for specifying Markovian population models such as queuing networks and chemical reaction networks. These languages —matrix descriptions, s...
Thomas A. Henzinger, Barbara Jobstmann, Verena Wol...
SEW
2007
IEEE
16 years 1 months ago
A Generative Approach to Building a Framework for Hard Real-Time Applications
The communication and tasking infrastructure of a realtime application makes up a significant portion of any embedded control system. Traditionally, the tasking and communication...
Irfan Hamid, Elie Najm, Jérôme Hugues