Sciweavers

15253 search results - page 190 / 3051
» Integer-Programming Software Systems
Sort
View
DATE
2010
IEEE
125views Hardware» more  DATE 2010»
15 years 11 months ago
pSHS: A scalable parallel software implementation of Montgomery multiplication for multicore systems
—Parallel programming techniques have become one of the great challenges in the transition from single-core to multicore architectures. In this paper, we investigate the parallel...
Zhimin Chen, Patrick Schaumont
VLSID
2005
IEEE
102views VLSI» more  VLSID 2005»
16 years 6 months ago
Rapid Embedded Hardware/Software System Generation
This paper presents an RTL generation scheme for a SimpleScalar / PISA Instruction set architecture with system calls to implement C programs. The scheme utilizes ASIPmeister, a p...
Jorgen Peddersen, Seng Lin Shee, Andhi Janapsatya,...
DATE
2008
IEEE
168views Hardware» more  DATE 2008»
16 years 21 days 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...
SOSE
2006
IEEE
16 years 7 days ago
Formal incremental requirements specification of service-oriented automotive software systems
In this paper, we introduce a simple but formal service description language (ForSeL) for modelbased requirements engineering. The basic notion in ForSeL is a service representing...
Judith Hartmann, Sabine Rittmann, Doris Wild, Pete...
ACMSE
2004
ACM
15 years 11 months ago
Interface design for a modern software ticketing system
This paper describes issues in the design of IT-centric trouble-ticketing applications. Two prototypes are presented. The first introduces a user-centric, webaccessible thick clie...
Minhui Xie, Mark Tomlinson, Bobby Bodenheimer