Sciweavers

1027 search results - page 139 / 206
» Callgraph properties of executables
Sort
View
CDC
2008
IEEE
156views Control Systems» more  CDC 2008»
16 years 16 days ago
Diagnosability of hybrid automata with measurement uncertainty
— We propose a diagnosability notion that depends on two parameters denoted as (δd, δm) for the general class of transition systems where the observable output is given by disc...
Maria Domenica Di Benedetto, Stefano Di Gennaro, A...
COMPSAC
2008
IEEE
16 years 16 days ago
Embedded Architecture Description Language
In the state-of-the-art hardware/software (HW/SW) codesign of embedded systems, there is a lack of sufficient support for architectural specifications across HW/SW boundaries. S...
Juncao Li, Nicholas T. Pilkington, Fei Xie, Qiang ...
ECRTS
2008
IEEE
16 years 16 days ago
Hierarchical Scheduling Framework for Virtual Clustering of Multiprocessors
Scheduling of sporadic task systems on multiprocessor platforms is an area which has received much attention in the recent past. It is widely believed that finding an optimal sch...
Insik Shin, Arvind Easwaran, Insup Lee
HICSS
2008
IEEE
135views Biometrics» more  HICSS 2008»
16 years 15 days ago
Formal Foundation of Workflow Hyperpaths and a Graph Search Algorithm for Workflow Hyperpath Generation
While executing a process, many decisions are taken at its various decision points for selecting paths. There is a need for understanding and analyzing on various paths that emana...
Sinnakkrishnan Perumal, Ambuj Mahanti
ICNS
2008
IEEE
16 years 15 days ago
DiProNN: Distributed Programmable Network Node Architecture
The programmable network approach allows processing of passing user data in a network, which is highly suitable especially for multimedia streams processing. However, programming ...
Tomás Rebok