4067 search results - page 39 / 814 » Programs for Applying Symmetries |
VMCAI
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly...
IPPS
2000
IEEE
14 years 10 days ago
2000
IEEE
Tuning parallel applications requires the use of effective tools for detecting performance bottlenecks. Along a parallel program execution, many individual situations of performan...
TOOLS
2000
IEEE
14 years 9 days ago
2000
IEEE
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...
ICECCS
1998
IEEE
14 years 6 days ago
1998
IEEE
Software architecture is receiving increasingly attention as a critical design level for software systems. As software architecture design resources (in the form of architectural ...
WICSA
2008
13 years 9 months ago
2008
This paper introduces an architectural style for enabling end-users to quickly design and deploy software systems in domains characterized by highly personalized and dynamic requi...