8627 search results - page 1635 / 1726 » Software Engineering Using RATionale |
141
click to vote
PLDI
2006
ACM
15 years 10 months ago
2006
ACM
In order to generate high-quality code for modern processors, a compiler must aggressively schedule instructions, maximizing resource utilization for execution efficiency. For a ...
136
Voted
PLDI
2003
ACM
15 years 9 months ago
2003
ACM
Empirical program optimizers estimate the values of key optimization parameters by generating different program versions and running them on the actual hardware to determine which...
125
click to vote
CHARME
2001
Springer
15 years 9 months ago
2001
Springer
Formal analysis remains outside the mainstream of system design practice. Interactive methods and tools are regarded by some to be on the margin of useful research in this area. Al...
142
click to vote
DOCENG
2005
ACM
15 years 6 months ago
2005
ACM
This paper presents a new approach to text processing, based on textemes. These are atomic text units generalising the concepts of character and glyph by merging them in a common ...
131
click to vote
IJCAI
2007
15 years 6 months ago
2007
Modularity is a key requirement for collaborative ontology engineering and for distributed ontology reuse on the Web. Modern ontology languages, such as OWL, are logic-based, and ...