Sciweavers

5239 search results - page 380 / 1048
» Model-Integrated Embedded Systems
Sort
View
CODES
2004
IEEE
15 years 10 months ago
Efficient search space exploration for HW-SW partitioning
Hardware/software (HW-SW) partitioning is a key problem in the codesign of embedded systems, studied extensively in the past. One major open challenge for traditional partitioning...
Sudarshan Banerjee, Nikil D. Dutt
ECRTS
2010
IEEE
15 years 8 months ago
Partitioning Parallel Applications on Multiprocessor Reservations
A full exploitation of the computational power available in a multi-core platform requires the software to be specified in terms of parallel execution flows. At the same time, mode...
Giorgio C. Buttazzo, Enrico Bini, Yifan Wu
ENTCS
2006
139views more  ENTCS 2006»
15 years 6 months ago
Goto and Concurrency Introducing Safe Jumps in Esterel
Esterel is a design language for the specification of real time embedded systems. Based on the synchronous concurrency paradigm, its semantics describes execution
Olivier Tardieu
SAJ
2002
70views more  SAJ 2002»
15 years 6 months ago
Ubiquitous computing and cellular handset interfaces - are menus the best way forward?
: Embedded interactive computer systems, such as those found in cellular handsets, can be hard to use. The combination of small form factor
Gary Marsden, Matt Jones
IFIP
2009
Springer
15 years 4 months ago
Specification and Verification of Side Channel Declassification
Side channel attacks have emerged as a serious threat to the security of both networked and embedded systems
Josef Svenningsson, David Sands