Sciweavers

3216 search results - page 443 / 644
» The Oregon Software Development Process
Sort
View
176
Voted
DATE
2005
IEEE
125views Hardware» more  DATE 2005»
16 years 20 days ago
Lightweight Multitasking Support for Embedded Systems using the Phantom Serializing Compiler
Embedded software continues to play an ever increasing role in the design of complex embedded applications. In part, the elevel of abstraction provided by a high-level programming...
André C. Nácul, Tony Givargis
191
Voted
IPPS
2005
IEEE
16 years 19 days ago
Overview of Air Traffic Control using an SIMD COTS system
Air Traffic Control is an important application with demanding real-time database processing requirements. Systems that have been implemented using current approaches have typical...
Stewart F. Reddaway, Will C. Meilander, Johnnie W....
207
Voted
ISSRE
2005
IEEE
16 years 18 days ago
Testing Web Services by XML Perturbation
The eXtensible Markup Language (XML) is widely used to transmit data across the Internet. XML schemas are used to define the syntax of XML messages. XML-based applications can re...
Wuzhi Xu, Jeff Offutt, Juan Luo
187
Voted
MKM
2005
Springer
16 years 16 days ago
Computational Origami of a Morley's Triangle
Abstract. We present a computational origami construction of Morley’s triangles and automated proof of correctness of the generalized Morley’s theorem in a streamlined process ...
Tetsuo Ida, Hidekazu Takahashi, Mircea Marin
LCN
2003
IEEE
16 years 9 days ago
A holistic methodology for network processor design
The GigaNetIC project aims to develop high-speed components for networking applications based on massively parallel architectures. A central part of this project is the design, ev...
Olaf Bonorden, Nikolaus Brüls, Uwe Kastens, D...