Sciweavers

8179 search results - page 1381 / 1636
» The PRACTIONIST Development Tool
Sort
View
KBSE
2002
IEEE
15 years 11 months ago
SeDiTeC - Testing Based on Sequence Diagrams
In this paper we present a concept for automated testing of object-oriented applications and a tool called SeDiTeC that implements these concepts for Java applications. SeDiTeC us...
Falk Fraikin, Thomas Leonhardt
METRICS
2002
IEEE
15 years 11 months ago
Gemini: Maintenance Support Environment Based on Code Clone Analysis
Maintaining software systems is getting more complex and difficult task, as the scale becomes larger. It is generally said that code clone is one of the factors that make softwar...
Yasushi Ueda, Toshihiro Kamiya, Shinji Kusumoto, K...
MICRO
2002
IEEE
100views Hardware» more  MICRO 2002»
15 years 11 months ago
Microarchitectural exploration with Liberty
To find the best designs, architects must rapidly simulate many design alternatives and have confidence in the results. Unfortunately, the most prevalent simulator construction ...
Manish Vachharajani, Neil Vachharajani, David A. P...
SIGMOD
2010
ACM
205views Database» more  SIGMOD 2010»
15 years 11 months ago
Performing sound flash device measurements: some lessons from uFLIP
It is amazingly easy to get meaningless results when measuring flash devices, partly because of the peculiarity of flash memory, but primarily because their behavior is determin...
Matias Bjørling, Lionel Le Folgoc, Ahmed Ms...
APN
2010
Springer
15 years 11 months ago
Factorization Properties of Symbolic Unfoldings of Colored Petri Nets
The unfolding technique is an efficient tool to explore the runs of a Petri net in a true concurrency semantics, i.e. without constructing all the interleavings of concurrent actio...
Thomas Chatain, Eric Fabre
« Prev « First page 1381 / 1636 Last » Next »