2880 search results - page 337 / 576 » Types are calling conventions |
265
click to vote
ICST
2010
IEEE
15 years 5 months ago
2010
IEEE
In the presence of an internal state, often it is required a sequence of function calls to test software. In fact, to cover a particular branch of the code, a sequence of previous...
181
click to vote
VTC
2010
IEEE
15 years 5 months ago
2010
IEEE
—In cellular systems, a handoff process is defined to transfer an active call of an MS from one cell to another in order to provide a seamless service to this MS. Generally, a h...
178
click to vote
ANTSW
2010
Springer
15 years 4 months ago
2010
Springer
We study self-organized navigation in a heterogeneous robotic swarm consisting of two types of robots: small wheeled robots, called foot-bots, and flying robots that can attach to ...
180
click to vote
TACAS
2010
Springer
15 years 4 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
179
click to vote
ICC
2009
IEEE
15 years 4 months ago
2009
IEEE
The wireless mesh networks (WMNs) are statically deployed on heterogeneous areas and are operating in open wireless media, and thus it coexists with other networks operating on the...