Sciweavers

3400 search results - page 365 / 680
» tools 2008
Sort
View
COLCOM
2008
IEEE
16 years 1 months ago
GroupBanter: Supporting Serendipitous Group Conversations with IM
This paper describes GroupBanter, a tool for supporting serendipitous group conversations using instant messaging. We investigate the potential of ephemeral group conversations by ...
Kori Inkpen, Steve Whittaker, Mary Czerwinski, Rol...
COMPSAC
2008
IEEE
16 years 1 months ago
Dealing with the Crosscutting Structure of Software Architectural Styles
Architecture-based software development is the implementation of a software system in terms of its architectural constructs (e.g., components, connectors, ports). It has been show...
Sam Malek
CSSE
2008
IEEE
16 years 1 months ago
Generation of Executable Representation for Processor Simulation with Dynamic Translation
Instruction-Set Simulators (ISS) are indispensable tools for studying new architectures. There are several alternatives to achieve instruction set simulation, such as interpretive...
Jiajia Song, HongWei Hao, Claude Helmstetter, Vani...
DATE
2008
IEEE
168views Hardware» more  DATE 2008»
16 years 1 months ago
A methodology for improving software design lifecycle in embedded control systems
Control design and real-time implementation are usually performed in isolation. The effects of the computer implementation on control system performance are still evaluated on the...
Mohamed El Mongi Ben Gaid, Rémy Kocik, Yves...
164
Voted
DATE
2008
IEEE
68views Hardware» more  DATE 2008»
16 years 1 months ago
Automatic Generation of Complex Properties for Hardware Designs
Property checking is a promising approach to prove the correctness of today’s complex designs. However, in practice this requires the formulation of formal properties which is a...
Frank Rogin, Thomas Klotz, Görschwin Fey, Rol...