2662 search results - page 155 / 533 » Objects-early tools: a demonstration |
IUI
2004
ACM
15 years 7 months ago
2004
ACM
Tools to design, analyse and evaluate user interfaces can be used in user interface design research and in interface modelling research. This demonstration shows two working syste...
PVM
2004
Springer
15 years 7 months ago
2004
Springer
We describe the use of MPI for writing system software and tools, an area where it has not been previously applied. By “system software” we mean collections of tools used for s...
113
click to vote
ESORICS
2003
Springer
15 years 7 months ago
2003
Springer
We introduce the on-the-fly model-checker OFMC, a tool that combines two methods for analyzing security protocols. The first is the use of lazy data-types as a simple way of buil...
105
click to vote
DATE
2010
IEEE
15 years 6 months ago
2010
IEEE
—Safety-critical automotive systems must fulfill hard real-time constraints for reliability and safety. This paper presents a case study for the application of an AUTOSARbased l...
EUROPAR
2009
Springer
15 years 6 months ago
2009
Springer
We demonstrate that the performance of commodity parallel systems significantly depends on low-level details, such as storage layout and iteration space mapping, which motivates t...