1623 search results - page 259 / 325 » Programming language concepts for software developers |
163
click to vote
IWPC
2010
IEEE
15 years 29 days ago
2010
IEEE
—A tool supporting the automatic identification of programming idioms specific to the construction of C++ generic libraries is presented. The goal is to assist developers in unde...
228
Voted
TASE
2012
IEEE
13 years 10 months ago
2012
IEEE
— This paper presents new results on the formal design of distributed coordinating agents in a discrete-event framework. In this framework, agents are modeled to be individually ...
105
Voted
ISVLSI
2007
IEEE
15 years 8 months ago
2007
IEEE
The new design challenges imposed by the increasing difficulties of today’s electronic systems obligated designers to develop new methodologies. System-level design and Platfor...
112
click to vote
JCIT
2010
14 years 9 months ago
2010
This review paper presents an overview of the current state of the art in Problem Solving Environments (PSE). PSE provides integrated human-friendly innovative computational servi...
117
click to vote
ICTAC
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The potential of linear logic in facilitating reasoning on resource usage has long been recognized. However, convincing uses of linear types in practical programming are ...