Sciweavers

9974 search results - page 73 / 1995
» Software Interconnection Models
Sort
View
AISC
2010
Springer
15 years 6 months ago
Towards MKM in the Large: Modular Representation and Scalable Software Architecture
Abstract. MKM has been defined as the quest for technologies to manage mathematical knowledge. MKM “in the small” is well-studied, so the real problem is to scale up to large,...
Michael Kohlhase, Florian Rabe, Vyacheslav Zholude...
ET
2002
108views more  ET 2002»
15 years 1 months ago
Diagnosis Strategies for Hardware or Software Systems
In this paper we explore two alternative approaches to system diagnosis. The first strategy is based on testability analysis performed by SATAN tool. The second approach performed ...
Maisaa Khalil, Chantal Robach, Franc Novak
ISPD
1997
ACM
110views Hardware» more  ISPD 1997»
15 years 5 months ago
Performance driven global routing for standard cell design
Advances in fabrication technology have resulted in a continual shrinkage of device dimensions. This has resulted in smaller device delays, greater resistance along interconnect w...
Jason Cong, Patrick H. Madden
CEC
2010
IEEE
15 years 19 days ago
A binary Particle Swarm Optimization approach to fault diagnosis in parallel and distributed systems
— The efficient diagnosis of hardware and software faults in parallel and distributed systems remains a challenge in today’s most prolific decentralized environments. System-...
Rafael Falcón, Marcio Almeida, Amiya Nayak
JTAER
2010
100views more  JTAER 2010»
15 years 3 days ago
Determinants of Consumers' Perceived Trust in IT-Ecosystems
Digital ecosystems, or IT-ecosystems (ITEs), are composed of multiple and independent entities such as individuals, organizations, services, software, and applications. Together, ...
Klaus-Peter Wiedmann, Nadine Hennigs, Dieter Varel...