2145 search results - page 25 / 429 » Architectural Specifications in CASL |
TITB
2010
13 years 2 months ago
2010
Widespread use of affective sensing in healthcare applications has been limited due to several practical factors such as lack of comfortable wearable sensors, lack of wireless stan...
DAC
2002
ACM
14 years 8 months ago
2002
ACM
This paper addresses the problem of automatic generation of implementation software from high-level functional specifications in the context of embedded system on chip designs. So...
CODES
1999
IEEE
13 years 12 months ago
1999
IEEE
This paper introduces a flexible code generation framework dedicated to the design of application specific programmable processors. This tool allows the user to build specific com...
APSEC
2001
IEEE
13 years 11 months ago
2001
IEEE
Formal specifications are now widely accepted in software development. Recently, the need for a separation of concerns with reference to static and dynamic aspects appeared. Furth...
ARC
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. We describe a new approach for creating hardware description language (HDL) specifications for custom instructions, to form part of the instruction-set architecture (ISA)...