2278 search results - page 93 / 456 » Specification Techniques for Automatic Performance Analysis ... |
102
click to vote
SAC
2005
ACM
15 years 5 months ago
2005
ACM
The launch of new features for mobile phones is increasing and the product life cycle symmetrically decreasing in duration as higher levels of sophistication are reached. Therefor...
102
click to vote
DATE
2004
IEEE
15 years 3 months ago
2004
IEEE
In this paper we analyse some methodological concerns that have to be faced in a design flow which contains automatic synthesis phases from high-level, system descriptions. In par...
IPPS
2006
IEEE
15 years 5 months ago
2006
IEEE
In this paper we present MRI, a high level interface for selective monitoring of code regions and data structures in single and multiprocessor environments. MRI keeps transparent ...
105
click to vote
PLDI
1997
ACM
15 years 3 months ago
1997
ACM
A major research goal for compilers and environments is the automatic derivation of tools from formal specifications. However, the formal model of the language is often inadequat...
EMNLP
2008
15 years 1 months ago
2008
Although research in other languages is increasing, much of the work in subjectivity analysis has been applied to English data, mainly due to the large body of electronic resource...