238 search results - page 31 / 48 » A Framework for Software Engineering Experimental Replicatio... |
AIRWEB
2008
Springer
15 years 1 months ago
2008
Springer
Combating Web spam has become one of the top challenges for Web search engines. State-of-the-art spam detection techniques are usually designed for specific known types of Web spa...
101
click to vote
TASE
2007
IEEE
15 years 6 months ago
2007
IEEE
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
ICSE
1997
IEEE-ACM
15 years 3 months ago
1997
IEEE-ACM
Formal specification methods are not often applied in industrial projects, despite their advantages and the maturity of theories and tools. The scarce familiarity of practitioners...
ICSE
1995
IEEE-ACM
15 years 3 months ago
1995
IEEE-ACM
This paper presents a compact Petri net representation that is e cient to construct for concurrent programs that use explicit tasking and rendezvous style communication. These Pet...
EMSOFT
2008
Springer
15 years 1 months ago
2008
Springer
In this paper we present a design space exploration flow to achieve energy efficiency for streaming applications on MPSoCs while meeting the specified throughput constraints. The ...