Sciweavers

6796 search results - page 454 / 1360
» Java for Embedded Systems
Sort
View
CORR
2010
Springer
58views Education» more  CORR 2010»
15 years 6 months ago
Timed Automata Semantics for Analyzing Creol
ir end-to-end deadlines. Real-time Creol can be useful for analyzing, for instance, abstract models of multi-core embedded systems. We show how analysis can be done in UPPAAL.
Mohammad Mahdi Jaghoori, Tom Chothia
138
Voted
DATE
2008
IEEE
139views Hardware» more  DATE 2008»
16 years 18 days ago
Instruction Re-encoding Facilitating Dense Embedded Code
Reducing the code size of embedded applications is one of the important constraint in embedded system design. Code compression can provide substantial savings in terms of size. In...
Talal Bonny, Jörg Henkel
FPL
2007
Springer
133views Hardware» more  FPL 2007»
16 years 9 days ago
Efficient Modeling and Floorplanning of Embedded-FPGA Fabric
In this paper we present an automatic design flow for generating customized embedded FPGA (eFPGA) fabric and a domain specific SOC+eFPGA architecture. This design flow encompas...
Sumanta Chaudhuri, Jean-Luc Danger, Sylvain Guille...
SAC
2009
ACM
15 years 10 months ago
The device service bus: a solution for embedded device integration through web services
This paper presents a middleware infrastructure for integration of heterogeneous embedded devices in ubiquitous computing environments. The proposed infrastructure employs the Dev...
Gustavo Medeiros Araújo, Frank Siqueira
ERSHOV
2006
Springer
15 years 9 months ago
TTCN-3 for Distributed Testing Embedded Software
Abstract. TTCN-3 is a standardized language for specifying and executing test suites that is particularly popular for testing embedded systems. Prior to testing embedded software i...
Stefan Blom, Thomas Deiß, Natalia Ioustinova...