Sciweavers

6740 search results - page 1150 / 1348
» Using Classification as a Programming Language
Sort
View
TSMC
1998
62views more  TSMC 1998»
15 years 4 months ago
Performance based design of high-level language-directed computer architectures
— This paper is concerned with the analytical modeling of computer architectures to aid in the design of high-level language-directed computer architectures. High-level language-...
Rajendra S. Katti, Mark L. Manwaring
TPLP
2002
69views more  TPLP 2002»
15 years 4 months ago
Soundness, idempotence and commutativity of set-sharing
It is important that practical data-flow analyzers are backed by reliably proven theoretical Abstract interpretation provides a sound mathematical framework and necessary properti...
Patricia M. Hill, Roberto Bagnara, Enea Zaffanella
FASE
2011
Springer
14 years 8 months ago
Testing Container Classes: Random or Systematic?
Abstract. Container classes such as lists, sets, or maps are elementary data structures common to many programming languages. Since they are a part of standard libraries, they are ...
Rohan Sharma, Milos Gligoric, Andrea Arcuri, Gordo...
LR
2011
108views more  LR 2011»
14 years 8 months ago
Modeling production networks with discrete processes by means of communities of autonomous units
Abstract Communities of autonomous units are devices for the visual modeling of interactive logistic processes. The framework is founded on rule-based graph transformation and allo...
Hans-Jörg Kreowski, Sabine Kuske, Caroline vo...
145
Voted
SCAM
2008
IEEE
15 years 11 months ago
An Empirical Study of Function Overloading in C++
The usefulness and usability of programming tools (for example, languages, libraries, and frameworks) may greatly impact programmer productivity and software quality. Ideally, the...
Cheng Wang, Daqing Hou
« Prev « First page 1150 / 1348 Last » Next »