5387 search results - page 534 / 1078 » Generating generic functions |
191
click to vote
ICST
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a method of component testing based on algebraic specifications. An algorithm for generating checkable test cases is proposed. A prototype testing tool called ...
180
Voted
ICLP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Region-based memory management is a form of compiletime memory management, well-known from the functional programming world. This paper describes a static region analysis...
185
click to vote
ICWE
2007
Springer
16 years 1 months ago
2007
Springer
Initially, web development methods focused on the generation of read-only web applications for browsing the data stored in relational database systems. Lately, many have evolved to...
167
click to vote
ISVC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. A general framework for image segmentation is presented in this paper, based on the paradigm of water flow. The major water flow attributes like water pressure, surface t...
190
click to vote
ETFA
2006
IEEE
16 years 1 months ago
2006
IEEE
—The IEC61499 standard is the first step towards the development of the next generation agile manufacturing systems where distribution, interoperability and re-configuration are ...