Sciweavers

5608 search results - page 369 / 1122
» Structure description tools
Sort
View
ISESE
2006
IEEE
16 years 5 days ago
An industrial case study of structural testing applied to safety-critical embedded software
Effective testing of safety-critical real-time embedded software is difficult and expensive. Many companies are hesitant about the cost of formalized criteria-based testing and a...
Jing Guan, Jeff Offutt, Paul Ammann
VLSID
2003
IEEE
253views VLSI» more  VLSID 2003»
16 years 6 months ago
High Level Synthesis from Sim-nML Processor Models
The design of modern complex embedded systems require a high level of abstraction of the design. The SimnML[1] is a specification language to model processors for such designs. Se...
Souvik Basu, Rajat Moona
ESWS
2006
Springer
15 years 9 months ago
Information Retrieval in Folksonomies: Search and Ranking
Abstract. Social bookmark tools are rapidly emerging on the Web. In such systems users are setting up lightweight conceptual structures called folksonomies. The reason for their im...
Andreas Hotho, Robert Jäschke, Christoph Schm...
CSMR
2010
IEEE
15 years 1 months ago
Interactive Exploration of Co-evolving Software Entities
Frequent changes to groups of software entities from different parts of the system may indicate structural issues in the system's decomposition. Analyzing such groups is neede...
Adam Vanya, Rahul Premraj, Hans van Vliet
ICPR
2004
IEEE
16 years 7 months ago
Event Semantics in Two-person Interactions
This paper presents a method to represent two-person interactions at a semantic level with a natural language description. A human interaction is composed of two singleperson acti...
Jake K. Aggarwal, Sangho Park