Sciweavers

4139 search results - page 741 / 828
» Designing and Implementing Combinator Languages
Sort
View
ATVA
2010
Springer
142views Hardware» more  ATVA 2010»
15 years 1 months ago
On Scenario Synchronization
: Narrowing the wide conceptual gap between problem and implementation domains is considered a significant factor within software engineering. Currently, such a relation is often o...
Duc-Hanh Dang, Anh-Hoang Truong, Martin Gogolla
147
Voted
CONEXT
2010
ACM
15 years 26 days ago
Declarative configuration management for complex and dynamic networks
Abstract-- Network management and operations are complicated, tedious, and error-prone, requiring significant human involvement and domain knowledge. As the complexity involved ine...
Xu Chen, Yun Mao, Zhuoqing Morley Mao, Jacobus E. ...
AAMAS
2011
Springer
14 years 10 months ago
Reasoning about agent deliberation
We present a family of sound and complete logics for reasoning about deliberation strategies for SimpleAPL programs. SimpleAPL is a fragment of the agent programming language 3APL...
Natasha Alechina, Mehdi Dastani, Brian Logan, John...
136
Voted
CGO
2011
IEEE
14 years 7 months ago
A trace-based Java JIT compiler retrofitted from a method-based compiler
—This paper describes our trace-based JIT compiler (trace-JIT) for Java developed from a production-quality method-based JIT compiler (method-JIT). We first describe the design a...
Hiroshi Inoue, Hiroshige Hayashizaki, Peng Wu, Tos...
175
Voted
ICDE
2012
IEEE
267views Database» more  ICDE 2012»
13 years 5 months ago
Scalable and Numerically Stable Descriptive Statistics in SystemML
—With the exponential growth in the amount of data that is being generated in recent years, there is a pressing need for applying machine learning algorithms to large data sets. ...
Yuanyuan Tian, Shirish Tatikonda, Berthold Reinwal...