15885 search results - page 3009 / 3177 » The Modest Software Engineer |
152
Voted
GROUP
2010
ACM
15 years 12 days ago
2010
ACM
Looking for source code on the Web is a common practice among software developers. Previous research has shown that developers use social cues over technical cues to evaluate sour...
124
click to vote
ICCAD
2010
IEEE
15 years 12 days ago
2010
IEEE
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...
140
Voted
MOBIHOC
2010
ACM
15 years 10 days ago
2010
ACM
We investigate the performance of longest-queue-first (LQF) scheduling (i.e., greedy maximal scheduling) for wireless networks under the SINR interference model. This interference...
135
Voted
OOPSLA
2010
Springer
15 years 9 days ago
2010
Springer
The usage of optimistic version control systems comes along with cumbersome and time-consuming conflict resolution in the case that the modifications of two developers are contrad...
150
click to vote
SENSYS
2010
ACM
15 years 9 days ago
2010
ACM
Wireless sensor networks (WSNs) are hard to program due to unconventional programming models used to satisfy stringent resource constraints. The common event-driven concurrent pro...