Sciweavers

4231 search results - page 558 / 847
» Using Language More Responsibly
Sort
View
ASPLOS
2006
ACM
15 years 10 months ago
A performance counter architecture for computing accurate CPI components
Cycles per Instruction (CPI) stacks break down processor execution time into a baseline CPI plus a number of miss event CPI components. CPI breakdowns can be very helpful in gaini...
Stijn Eyerman, Lieven Eeckhout, Tejas Karkhanis, J...
KBSE
2005
IEEE
15 years 10 months ago
Properties and scopes in web model checking
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
May Haydar, Sergiy Boroday, Alexandre Petrenko, Ho...
VL
2005
IEEE
119views Visual Languages» more  VL 2005»
15 years 10 months ago
How Well Do Professional Developers Test with Code Coverage Visualizations? An Empirical Study
Despite years of availability of testing tools, professional software developers still seem to need better support to determine the effectiveness of their tests. Without improveme...
Joseph Lawrance, Steven Clarke, Margaret M. Burnet...
CLEF
2005
Springer
15 years 10 months ago
Overview of WebCLEF 2005
We describe WebCLEF, the multilingual web track, that was introduced at CLEF 2005. We provide details of the tasks, the topics, and the results of WebCLEF participants. The mixed ...
Börkur Sigurbjörnsson, Jaap Kamps, Maart...
IJCNLP
2005
Springer
15 years 10 months ago
A Method of Recognizing Entity and Relation
The entity and relation recognition, i.e. (1) assigning semantic classes to entities in a sentence, and (2) determining the relations held between entities, is an important task in...
Xinghua Fan, Maosong Sun