Sciweavers

2521 search results - page 437 / 505
» Semantic Component Composition
Sort
View
ISSS
2002
IEEE
120views Hardware» more  ISSS 2002»
14 years 3 months ago
Virtual Synchronization for Fast Distributed Cosimulation of Dataflow Task Graphs
Fast distributed cosimulation is a challenging problem for the embedded system design. The main theme of this paper is to increase simulation speed by reducing the frequency of in...
Soonhoi Ha, Sungchan Kim, Chan-Eun Rhee, Hyunguk J...
NLPRS
2001
Springer
14 years 2 months ago
Ensembling based on Feature Space Restructuring with Application to WSD
We propose a new ensembling method of Support Vector Machines (SVMs) based on Feature Space Restructuring. In the proposed method, the weighted majority voting method is applied f...
Hiroya Takamura, Hiroyasu Yamada, Taku Kudo, Kaoru...
ISSS
2000
IEEE
109views Hardware» more  ISSS 2000»
14 years 2 months ago
Verification of Embedded Systems using a Petri Net based Representation
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
WETICE
1999
IEEE
14 years 2 months ago
Static Analysis of Binary Code to Isolate Malicious Behaviors
In this paper, we address the problem of static slicing on binary executables for the purposes of the malicious code detection in COTS components. By operating directly on binary ...
J. Bergeron, Mourad Debbabi, M. M. Erhioui, B&eacu...
VL
1997
IEEE
165views Visual Languages» more  VL 1997»
14 years 2 months ago
Alterable Visual Languages
The large number of programming languages in the world is a consequence of the broad spectrum of human preferences for different notational styles and semantic models, which depen...
Chris M. Holt