4636 search results - page 599 / 928 » Application of Linguistic Techniques for Use Case Analysis |
237
click to vote
ECRTS
2007
IEEE
16 years 2 months ago
2007
IEEE
Uniprocessor schedulability theory made great strides, in part, due to the simplicity of composing the delay of a job from the execution times of higher-priority jobs that preempt...
203
click to vote
SOFTWARE
2011
15 years 2 months ago
2011
In the era of multicores, many applications that tend to require substantial compute power and data crunching (aka Throughput Computing Applications) can now be run on desktop PCs...
208
click to vote
ASPDAC
2005
ACM
16 years 1 months ago
2005
ACM
With impressive progress in Boolean Satisfiability (SAT) solving and several extensions to pseudo-Boolean (PB) constraints, many applications that use SAT, such as highperformanc...
346
click to vote
FM
1997
Springer
15 years 12 months ago
1997
Springer
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
256
click to vote
SIGIR
2012
ACM
13 years 10 months ago
2012
ACM
Combating Web spam is one of the greatest challenges for Web search engines. State-of-the-art anti-spam techniques focus mainly on detecting varieties of spam strategies, such as ...