Sciweavers

896 search results - page 101 / 180
» Stepwise Refinement of Processes
Sort
View
ASPDAC
2009
ACM
249views Hardware» more  ASPDAC 2009»
15 years 7 months ago
Automatic generation of Cycle Accurate and Cycle Count Accurate transaction level bus models from a formal model
— This paper proposes the first automatic approach to simultaneously generate Cycle Accurate and Cycle Count Accurate transaction level bus models. Since TLM (Transaction Level M...
Chen Kang Lo, Ren-Song Tsay
122
Voted
AGENTS
2000
Springer
15 years 7 months ago
Dynamically altering agent behaviors using natural language instructions
Smart avatars are virtual human representations controlled by real people. Given instructions interactively, smart avatars can act as autonomous or reactive agents. During a real-...
Rama Bindiganavale, William Schuler, Jan M. Allbec...
DIAGRAMS
2000
Springer
15 years 7 months ago
Bar Charts Recognition Using Hough Based Syntactic Segmentation
Bar charts are common data representations in scientific and technical papers. In order to recognize the printed bar charst, we present a new Hough based bar chart recognition algo...
Yan Ping Zhou, Chew Lim Tan
125
Voted
IPPS
1999
IEEE
15 years 6 months ago
Tailor-Made Operating Systems for Embedded Parallel Applications
This paper presents the Pure/Epos approach to deal with the high complexity of adaptable operating systems and also to diminish the distance between application and operating syste...
Antônio Augusto Fröhlich, Wolfgang Schr...
CARDIS
1998
Springer
161views Hardware» more  CARDIS 1998»
15 years 6 months ago
Formal Proof of Smart Card Applets Correctness
: The new Gemplus smart card is based on the Java technology, embedding a virtual machine. The security policy uses mechanisms that are based on Java properties. This language prov...
Jean-Louis Lanet, Antoine Requet