2030 search results - page 327 / 406 » Designing Complex Software Implementation Programs |
102
click to vote
APL
1992
ACM
15 years 6 months ago
1992
ACM
We present the design and implementation of APL Intrinsic Functions for a Finite State Machine (also known as a Finite State Automaton) which recognizes regular languages, and a P...
118
click to vote
COMSWARE
2006
IEEE
15 years 5 months ago
2006
IEEE
Applications using traditional protocol stacks (e.g TCP/IP) from wired networks do not function efficiently in mobile wireless scenarios. This is primarily due to the layered archi...
136
click to vote
SAC
2009
ACM
15 years 6 months ago
2009
ACM
This paper presents a novel software engineering approach for developing a dynamic web interface that meets the quality criterion of “WYDIWYS” - What You Do Is What You See. T...
154
click to vote
ICFP
2010
ACM
15 years 2 months ago
2010
ACM
We describe the design, implementation, and use of a machinecertified framework for correct compilation and execution of programs in garbage-collected languages. Our framework ext...
123
click to vote
CAV
2011
Springer
14 years 5 months ago
2011
Springer
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...