9974 search results - page 1754 / 1995 » Software Interconnection Models |
150
click to vote
EMSOFT
2003
Springer
15 years 8 months ago
2003
Springer
We present a formalism for specifying component interfaces that expose component requirements on limited resources. The formalism permits an algorithmic check if two or more compon...
129
click to vote
CGO
2010
IEEE
15 years 8 months ago
2010
IEEE
Feedback-directed optimization (FDO) is effective in improving application runtime performance, but has not been widely adopted due to the tedious dual-compilation model, the difï...
141
click to vote
ICCS
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. Phylogeny reconstruction from molecular data poses complex optimization problems: almost all optimization models are NP-hard and thus computationally intractable. Yet app...
153
click to vote
AC
2000
Springer
15 years 7 months ago
2000
Springer
In these notes, we give an overview of the join calculus, its semantics, and its equational theory. The join calculus is a language that models distributed and mobile programming. ...
166
Voted
WCRE
1999
IEEE
15 years 7 months ago
1999
IEEE
Java applets have been used increasingly on web sites to perform client-side processing and provide dynamic content. While many web site analysis tools are available, their focus ...