12084 search results - page 344 / 2417 » Effect Systems with Subtyping |
196
Voted
CSMR
2006
IEEE
16 years 1 months ago
2006
IEEE
Understanding large software systems is simplified when a combination of techniques for static and dynamic analysis is employed. Effective dynamic analysis requires that executio...
224
click to vote
EUROMICRO
2006
IEEE
16 years 1 months ago
2006
IEEE
Understanding complex component-based systems often requires getting insight in how certain system properties, such as performance, trust, reliability, or structural attributes, c...
200
Voted
HICSS
2005
IEEE
16 years 1 months ago
2005
IEEE
Civil infrastructures are vital elements of a nation’s physical well-being and quality of life because modern economies rely on the services these systems provide to move goods,...
189
click to vote
EMSOFT
2005
Springer
16 years 1 months ago
2005
Springer
— Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives...
171
click to vote
ICWL
2005
Springer
16 years 1 months ago
2005
Springer
This paper presents an online authoring system that allows users to create interactive course content and course structure on the Internet in a fast and easy way without any progra...