9595 search results - page 1566 / 1919 » Functional programming in C |
178
click to vote
HYBRID
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. In this paper we present an approach to approximate reachability computation for nonlinear continuous systems. Rather than studying a complex nonlinear system ˙x = g(x),...
180
click to vote
ICSE
2003
IEEE-ACM
15 years 12 months ago
2003
IEEE-ACM
Software-intensive systems often exhibit dimensions in size and complexity that exceed the scope of comprehension of even talented, experienced system designers and analysts. With ...
144
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Internet voting, sometimes proposed as a means of enhancing democratic participation, is partly inspired by the democratic process of newsgroup creation on Usenet. To better under...
212
click to vote
HPCS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a novel architecture called the MetaGrid based on Grid computing concepts for resource provisioning for wide-area network-enabled applications. Resource provis...
167
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper the workspace optimization of translational 3-UPU parallel platforms with prismatic and universal joint constraints is performed. The workspace is parameterized usin...