Sciweavers

3920 search results - page 243 / 784
» Challenges in Software Evolution
Sort
View
AEI
2008
118views more  AEI 2008»
15 years 4 months ago
An approach to accessing product data across system and software revisions
Long-term users of engineering product data are hampered by the ephemeral nature of CAD file formats and the applications that work with them. STEP, the Standard for the Exchange ...
Alexander Ball, Lian Ding, Manjula Patel
TCAD
2008
103views more  TCAD 2008»
15 years 4 months ago
Using Transfer-Resource Graph for Software-Based Verification of System-on-Chip
The verification of a system-on-chip is challenging due to its high level of integration. Multiple components in a system can behave concurrently and compete for resources. Hence, ...
Xiaoxi Xu, Cheng-Chew Lim
CORR
2002
Springer
88views Education» more  CORR 2002»
15 years 4 months ago
SPINning Parallel Systems Software
We describe our experiences in using Spin to verify parts of the Multi Purpose Daemon (MPD) parallel process management system. MPD is a distributed collection of processes connect...
Olga Shumsky Matlin, Ewing L. Lusk, William McCune
IJCNN
2008
IEEE
15 years 10 months ago
Dynamic logic of phenomena and cognition
—Modeling of complex phenomena such as the mind presents tremendous computational complexity challenges. The neural modeling fields theory (NMF) addresses these challenges in a n...
Boris Kovalerchuk, Leonid I. Perlovsky
IWDC
2001
Springer
15 years 8 months ago
A Study on QoS Provision for IP-Based Radio Access Networks
The fast adoption of IP-based communications for hand-held devices equipped with wireless interfaces is creating new challenges for the Internet evolution. Users expect flexible ac...
Alberto López Toledo, Jukka Manner, Andrej ...